LUPS -- a language for updating logic programs. Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced the concept of dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs), P0 Phi : : : Phi Pn . Each such program contains knowledge about some given state, where different states may, e.g., represent different time periods or different sets of priorities. The role of dynamic logic programming is to employ the mutual relationships existing between the possibly mutually contradictory sequence of programs to precisely determine, at any given state, the declarative and procedural semantics of their combination. But how, in concrete situations, is a sequence of logic programs built? For instance, in the domain of actions, what are the appropriate sequences

References in zbMATH (referenced in 37 articles , 1 standard article )

Showing results 1 to 20 of 37.
Sorted by year (citations)

1 2 next

  1. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  2. Ameloot, Tom J.; Van den Bussche, Jan; Marczak, William R.; Alvaro, Peter; Hellerstein, Joseph M.: Putting logic-based distributed systems on stable grounds (2016)
  3. Magnani, Lorenzo: Naturalizing logic (2015)
  4. Schwartz, Daniel G.: Dynamic reasoning systems (2015)
  5. Bourdier, Tony; Cirstea, Horatiu; Jaume, Mathieu; Kirchner, Hélène: Formal specification and validation of security policies (2012)
  6. Alferes, José Júlio; Gabaldon, Alfredo; Leite, João: Evolving logic programs with temporal operators (2011)
  7. Slota, Martin; Leite, João: EVOLP: Tranformation-based semantics (2009)
  8. Zhang, Yan: Updating epistemic logic programs (2009)
  9. Delgrande, James P.; Schaub, Torsten; Tompits, Hans: A preference-based framework for updating logic programs (2007)
  10. Eiter, Thomas; Fink, Michael; Tompits, Hans: A knowledge-based approach for selecting information sources (2007)
  11. Leite, João; Soares, Luís: Adding evolving abilities to a multi-agent system (2007)
  12. Alferes, J. J.; Banti, F.; Brogi, A.: An event-condition-action logic programming language (2006)
  13. Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice: Computational methods for database repair by signed formulae (2006)
  14. Alferes, José Júlio; Banti, Federico; Brogi, Antonio: From logic programs updates to action description updates (2005)
  15. Arieli, Ofer; Denecker, Marc; Van Nuffelen, Bert; Bruynooghe, Maurice: Coherent integration of databases by abductive logic programming (2004)
  16. Mascardi, Viviana; Martelli, Maurizio; Sterling, Leon: Logic-based specification languages for intelligent software agents (2004)
  17. Alferes, J. J.; Brogi, A.; Leite, J. A.; Pereira, Luís Moniz: An evolvable rule-based e-mail agent. (2003)
  18. Leite, João Alexandre: Evolving knowledge bases. Specification and semantics (2003)
  19. Sakama, Chiaki; Inoue, Katsumi: An abductive framework for computing knowledge base updates (2003)
  20. Abreu, Salvador; Quaresma, Paulo; Quintano, Luis; Rodrigues, Irene: A natural language dialogue manager for accessing databases (2002)

1 2 next