Correct Reasoning

Publications

2012

Jia-Huai You, Yi-Dong Shen, Kewen Wang
Well-Supported Semantics for Logic Programs with Generalized Rules. Correct Reasoning (2012)
Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan
Vladimir Lifschitz - A Youth at 65. Correct Reasoning (2012)
Victor W. Marek, Jeffrey B. Remmel
Disjunctive Programs with Set Constraints. Correct Reasoning (2012)
Hector J. Levesque, Gerhard Lakemeyer
The Truth about Defaults. Correct Reasoning (2012)
Neelakantan Kartha
Lifschitz and Circumscription. Correct Reasoning (2012)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Bi-state Logic. Correct Reasoning (2012)
James P. Delgrande
Considerations on Belief Revision in an Action Theory. Correct Reasoning (2012)
Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning (2012)
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
Privacy Preservation Using Multi-context Systems and Default Logic. Correct Reasoning (2012)
Hannes Strass, Michael Thielscher
A Language for Default Reasoning about Actions. Correct Reasoning (2012)
Katsumi Inoue, Chiaki Sakama
Oscillating Behavior of Logic Programs. Correct Reasoning (2012)
Yana Todorova, Michael Gelfond
Toward Question Answering in Travel Domains. Correct Reasoning (2012)
Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. Correct Reasoning (2012)
Joohyung Lee
Reformulating Action Language C+ in Answer Set Programming. Correct Reasoning (2012)
Stefania Costantini, Andrea Formisano, David Pearce
Strong Equivalence of RASP Programs. Correct Reasoning (2012)
Martin Gebser, Roland Kaufmann, Torsten Schaub
Gearing Up for Effective ASP Planning. Correct Reasoning (2012)
Yuliya Lierler, Peter Schüller
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. Correct Reasoning (2012)
Wolfgang Faber, Nicola Leone, Simona Perri
The Intelligent Grounder of DLV. Correct Reasoning (2012)
Pedro Cabalar
Causal Logic Programming. Correct Reasoning (2012)
Miroslaw Truszczynski
Connecting First-Order ASP and the Logic FO(ID) through Reducts. Correct Reasoning (2012)
Xiaoping Chen, Guoqiang Jin, Fangkai Yang
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions. Correct Reasoning (2012)
Nikolaj Bjørner, Guido de Caso, Yuri Gurevich
From Primal Infon Logic with Individual Variables to Datalog. Correct Reasoning (2012)
Tomi Janhunen, Ilkka Niemelä
Applying Visible Strong Equivalence in Answer-Set Program Transformations. Correct Reasoning (2012)
Thomas Eiter, Cristina Feier, Michael Fink
Simulating Production Rules Using ACTHEX. Correct Reasoning (2012)
Sandeep Chintabathina, Richard Watson
A New Incarnation of Action Language H. Correct Reasoning (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Description-Logic Programs. Correct Reasoning (2012)
Enrico Giunchiglia, Marco Maratea
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning (2012)
Dov M. Gabbay
An Equational Approach to Logic Programming. Correct Reasoning (2012)
Jianmin Ji, Fangzhen Lin
From Turner's Logic of Universal Causation to the Logic of GK. Correct Reasoning (2012)
Alexander Bochman
Here and There among Logics for Logic Programming. Correct Reasoning (2012)
Vladik Kreinovich
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity. Correct Reasoning (2012)
Grigori Mints
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas. Correct Reasoning (2012)
Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le
Declarative Distributed Computing. Correct Reasoning (2012)
Marc Denecker, Maurice Bruynooghe, Joost Vennekens
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Correct Reasoning (2012)
Esra Erdem, Volkan Patoglu
Applications of Action Languages in Cognitive Robotics. Correct Reasoning (2012)
Marcello Balduccini
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. Correct Reasoning (2012)
Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran
Parameterized Splitting: A Simple Modification-Based Approach. Correct Reasoning (2012)
Jack Minker
To Vladimir Lifschitz on His 65th Birthday. Correct Reasoning (2012)
Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. Correct Reasoning (2012)

volume 7265, 2012

Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz Correct Reasoning 7265 (2012)