Explorations in revised stable models - a new semantics for logic programs



Logic Programs, Semantics, Revised Stable Models


Semantics of Logic Programs

MSc Thesis

Explorations in revised stable models - a new semantics for logic programs, June 2005

PDF File

Cited by

Year 2013 : 2 citations

 Marple, Kyle, and Gopal Gupta. "Galliwasp: A Goal-Directed Answer Set Solver." Logic-Based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2013. 122-136.

 Costantini, Stefania, and Andrea Formisano. "Negation as a Resource: A Novel View on Answer Set Semantics." Logic Programming and Nonmonotonic Reasoning. Springer Berlin Heidelberg, 2013. 257-263.

Year 2012 : 2 citations

 Marple, Kyle, et al. "Goal-directed execution of answer set programs." Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, 2012.

 José Luis Carballido Carranza, Claudia Zepeda and Guillermo Flores, “A Schema for Generating Update Semantics” International Journal of Advanced Computer Science and Applications(IJACSA), 3(3), 2012.

Year 2011 : 3 citations

 Nieves, Juan Carlos, Mauricio Osorio, and Claudia Zepeda. "A schema for generating relevant logic programming semantics and its applications in argumentation theory." Fundamenta Informaticae 106.2 (2011): 295-319.

 Pinto, Alexandre Miguel dos Santos Martins. "Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations." (2011).

 Pereira, Luís Moniz, and Alexandre Miguel Pinto. "Adaptive reasoning for cooperative agents." Applications of Declarative Programming and Knowledge Management. Springer Berlin Heidelberg, 2011. 102-116.

Year 2010 : 4 citations

 Carballido, José Luis, Mauricio Osorio, and José Ramón Arrazola. "Equivalence for the G'3-stable models semantics." Journal of Applied Logic 8.1 (2010): 82-96.

 Thomas Eiter, Michael Fink, and Joao Moura. "Paracoherent Answer Set Programming." KR. 2010.

 Pereira, Luís Moniz, and Carroline Kencana Ramli. "Modelling decision making with probabilistic causation." Intelligent Decision Technologies 4.2 (2010): 133-148.

 Pereira, Luís Moniz, and Alexandre Miguel Pinto. "Tight Semantics for Logic Programs." ICLP (Technical Communications). 2010.

Year 2009 : 4 citations

 Pereira, Luís, and Alexandre Pinto. "Layered models top-down querying of normal logic programs." Practical Aspects of Declarative Languages (2009): 254-268.

 Min, Richard Kyunglib, and Gopal Gupta. Predicate answer set programming with coinduction. University of Texas at Dallas, 2009.

 Luís Moniz Pereira, and Alexandre Miguel Pinto. "Inspection points and meta-abduction in logic programs." Procs. 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP’09). 2009.

 Pereira, Luís Moniz, and Alexandre Miguel Pinto. "Stable versus Layered Logic Program Semantics." LANMR. 2009.

Year 2008 : 2 citations

 Juan Carlos Nieves Sánchez. "Modeling arguments and uncertain information—A non-monotonic reasoning approach." Universitat Politecnica de Cataluny, Barcelona, ES. PhD (2008).

 Pereira, Luís Moniz, and Alexandre Miguel Pinto. "Collaborative vs. Conflicting Learning, Evolution and Argumentation." Oppositional Concepts in Computational Intelligence. Springer Berlin Heidelberg, 2008. 61-89.

Year 2007 : 6 citations

 Malý, Michal. Complexity of revised stable models. Diss. Master’s thesis, Comenius University Bratislava, 2007.

 Pierangelo Dell'Acqua, and Luís Moniz Pereira. "Preferential theory revision." Journal of Applied Logic 5.4 (2007): 586-601.

 Pereira, Luís Moniz. "Gödel and computability." Progress in Artificial Intelligence. Springer Berlin Heidelberg, 2007. 63-72.

 Luís Moniz Pereira, Pierangelo Dell'Acqua, and Gonçalo Lopes. "Prospective updating of theories with preferences." Abduction and the Process of Scientific Discovery, Colecção Documenta (2007): 65-96.

 Pereira, Luís Moniz, and Alexandre Miguel Pinto. "Reductio ad absurdum argumentation in normal logic programs." Argumentation and Non-monotonic Reasoning (ArgNMR’07) workshop at LPNMR. Vol. 7. 2007.

 Pereira, Luís Moniz, and Alexandre Miguel Pinto. "Approved models for normal logic programs." Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2007.

Year 2006 : 1 citations

 Gonçalo Lopes and Luis Moniz Pereira, "Prospective logic programming with ACORDA." Procs. of the FLoC 6 (2006).