The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Correct Reasoning"( http://dblp.L3S.de/Venues/Correct_Reasoning )

URL (DBLP): http://dblp.uni-trier.de/db/conf/birthday

Publication years (Num. hits)
2012 (40)
Publication types (Num. hits)
inproceedings(39) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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