Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Gem Stapleton, John Howse, Simon J. Thompson, John Taylor 0001, Peter Chapman	On the Completeness of Spider Diagrams Augmented with Constants.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
20	Rob Arthan, Paulo Oliva	(Dual) Hoops Have Unique Halving.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Thomas Hillenbrand, Christoph Weidenbach	Superposition for Bounded Domains.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Branden Fitelson	Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Eric Ens, Ranganathan Padmanabhan	Group Embedding of the Projective Plane PG(2, 3).	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Larry Wos	The Legacy of a Great Researcher.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Zachary Ernst, Seth Kurtenbach	Toward a Procedure for Data Mining Proofs.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen	Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Leonardo Mendonça de Moura, Grant Olney Passmore	The Strategy Challenge in SMT Solving.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Michael K. Kinyon, Robert Veroff, Petr Vojtechovský	Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Stephan Schulz 0001	Simple and Efficient Clause Subsumption with Feature Vector Indexing.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Ranganathan Padmanabhan, Robert Veroff	A Geometric Procedure with Prover9.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Hantao Zhang 0001, Jian Zhang 0001	MACE4 and SEM: A Comparison of Finite Model Generators.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Josef Urban, Jirí Vyskocil	Theorem Proving in Large Formal Mathematics as an Emerging AI Field.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
20	Krzysztof Janowicz, Simon Scheider, Benjamin Adams	A Geo-semantics Flyby.	Reasoning Web	2013	DBLP DOI BibTeX RDF
20	Mathias Niepert	Statistical Relational Data Integration for Information Extraction.	Reasoning Web	2013	DBLP DOI BibTeX RDF
20	Sören Auer, Jens Lehmann 0001, Axel-Cyrille Ngonga Ngomo, Amrapali Zaveri	Introduction to Linked Data and Its Lifecycle on the Web.	Reasoning Web	2013	DBLP DOI BibTeX RDF
20	Roman Kontchakov, Mariano Rodriguez-Muro, Michael Zakharyaschev	Ontology-Based Data Access with Databases: A Short Course.	Reasoning Web	2013	DBLP DOI BibTeX RDF
20	Wolfgang Faber 0001	Answer Set Programming.	Reasoning Web	2013	DBLP DOI BibTeX RDF
20	Anni-Yasmin Turhan	Introductions to Description Logics - A Guided Tour.	Reasoning Web	2013	DBLP DOI BibTeX RDF
20	Esra Erdem 0001, Joohyung Lee 0002, Yuliya Lierler, David Pearce 0001 (eds.)	Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Thomas Eiter, Thomas Krennwallner (eds.)	Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	Jia-Huai You, Yi-Dong Shen, Kewen Wang 0001	Well-Supported Semantics for Logic Programs with Generalized Rules.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Neelakantan Kartha, Esra Erdem 0001, Joohyung Lee 0002, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan	Vladimir Lifschitz - A Youth at 65.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Victor W. Marek, Jeffrey B. Remmel	Disjunctive Programs with Set Constraints.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Hector J. Levesque, Gerhard Lakemeyer	The Truth about Defaults.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Neelakantan Kartha	Lifschitz and Circumscription.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde	Bi-state Logic.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	James P. Delgrande	Considerations on Belief Revision in an Action Theory.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	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	DBLP DOI BibTeX RDF
20	Jürgen Dix, Wolfgang Faber 0001, V. S. Subrahmanian	Privacy Preservation Using Multi-context Systems and Default Logic.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Katsumi Inoue, Chiaki Sakama	Oscillating Behavior of Logic Programs.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Yana Todorova, Michael Gelfond	Toward Question Answering in Travel Domains.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Andrea Calì, Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris	On the Interaction of Existential Rules and Equality Constraints in Ontology Querying.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Joohyung Lee 0002	Reformulating Action Language C+ in Answer Set Programming.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Stefania Costantini, Andrea Formisano 0001, David Pearce 0001	Strong Equivalence of RASP Programs.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Martin Gebser, Roland Kaufmann, Torsten Schaub	Gearing Up for Effective ASP Planning.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Yuliya Lierler, Peter Schüller	Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Wolfgang Faber 0001, Nicola Leone, Simona Perri	The Intelligent Grounder of DLV.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Pedro Cabalar	Causal Logic Programming.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Miroslaw Truszczynski	Connecting First-Order ASP and the Logic FO(ID) through Reducts.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Xiaoping Chen, Guoqiang Jin, Fangkai Yang	Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich	From Primal Infon Logic with Individual Variables to Datalog.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Tomi Janhunen, Ilkka Niemelä	Applying Visible Strong Equivalence in Answer-Set Program Transformations.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Thomas Eiter, Cristina Feier, Michael Fink 0001	Simulating Production Rules Using ACTHEX.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Sandeep Chintabathina, Richard Watson 0003	A New Incarnation of Action Language H.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Johannes Oetsch, Jörg Pührer, Hans Tompits	Stepwise Debugging of Description-Logic Programs.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Enrico Giunchiglia, Marco Maratea	Algorithms for Solving Satisfiability Problems with Qualitative Preferences.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Dov M. Gabbay	An Equational Approach to Logic Programming.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Jianmin Ji, Fangzhen Lin	From Turner's Logic of Universal Causation to the Logic of GK.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Alexander Bochman	Here and There among Logics for Logic Programming.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Grigori Mints	The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Franck Le	Declarative Distributed Computing.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Marc Denecker, Maurice Bruynooghe, Joost Vennekens	Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Esra Erdem 0001, Volkan Patoglu	Applications of Action Languages in Cognitive Robotics.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Marcello Balduccini	A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran	Parameterized Splitting: A Simple Modification-Based Approach.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	Jack Minker	To Vladimir Lifschitz on His 65th Birthday.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
20	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	DBLP DOI BibTeX RDF
20	Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Charalampos Nikolaou, Michael Sioutis	Data Models and Query Languages for Linked Geospatial Data.	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	Marcelo Arenas, Jorge Pérez 0001	Federation and Navigation in SPARQL 1.1.	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	François Bry, Sebastian Schaffert, Denny Vrandecic, Klara A. Weiand	Semantic Wikis: Approaches, Applications, and Perspectives.	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	Markus Krötzsch	OWL 2 Profiles: An Introduction to Lightweight Ontology Languages.	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris, Mantas Simkus	Datalog and Its Extensions for Semantic Web Databases.	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	Danh Le Phuoc, Josiane Xavier Parreira, Manfred Hauswirth	Linked Stream Data Processing.	Reasoning Web	2012	DBLP DOI BibTeX RDF
20	Marcello Balduccini, Tran Cao Son (eds.)	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20		Applied Adversarial Reasoning and Risk Modeling, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
20		Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
20	Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider (eds.)	Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures	Reasoning Web	2011	DBLP DOI BibTeX RDF
20	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Challenges in Answer Set Solving.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson 0003, Yuanlin Zhang 0002	A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Marcello Balduccini, Sara Girotto	ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	José Júlio Alferes, Alfredo Gabaldon, João Leite 0001	Evolving Logic Programs with Temporal Operators.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Esra Erdem 0001	Applications of Answer Set Programming in Phylogenetic Systematics.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Paolo Ferraris, Vladimir Lifschitz	On the Minimality of Stable Models.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Michael Thielscher	Translating General Game Descriptions into an Action Language.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Chitta Baral, Gregory Gelfond	On Representing Actions in Multi-agent Domains.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Giovanni Grasso 0001, Nicola Leone, Marco Manna, Francesco Ricca	ASP at Work: Spin-off and Applications of the DLV System.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Stefania Costantini	Michael Gelfond: Essay in Honour of His 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Jack Minker	Opening: Homage to Michael Gelfond on His 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Miroslaw Truszczynski	Revisiting Epistemic Specifications.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Pedro Cabalar	Answer Set; Programming?	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Tomi Janhunen, Ilkka Niemelä	Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Alessandro Provetti	Recollections on Michael Gelfond's 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Tommi Syrjänen	On the Practical Side of Answer Set Programming.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Wolfgang Faber 0001, Stefan Woltran	Manifold Answer-Set Programs and Their Applications.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian	PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Veena S. Mellarkod	Tea Times with Gelfond.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman	Refinement of History-Based Policies.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Gerhard Brewka, Thomas Eiter, Michael Fink 0001	Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe	Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Katsumi Inoue, Chiaki Sakama	Exploring Relations between Answer Set Programs.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Phan Minh Dung, Phan Minh Thang	Closure and Consistency Rationalities in Logic-Based Argumentation.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Vladik Kreinovich	Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
20	Sam Ganzfried, Tuomas Sandholm, Kevin Waugh	Strategy Purification.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
20	Octavio Lerma, Vladik Kreinovich, Christopher Kiekintveld	Linear-Time Resource Allocation in Security Games with Identical Fully Protective Resources.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
20	Manish Jain, Zhengyu Yin, Milind Tambe, Fernando Ordóñez	Addressing Execution and Observation Error in Security Games.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
20	James Pita, Rong Yang, Milind Tambe, Richard John	Toward Addressing Human Behavior with Observational Uncertainty in Security Games.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
20	Oswaldo Aguirre, Nicolas Lopez, Eric Gutierrez, Heidi A. Taboada, Jose Epiritu, Christopher Kiekintveld	Towards the Integration of Multi-Attribute Optimization and Game Theory for Border Security Patrolling Strategies.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
20	Joshua Letchford, Yevgeniy Vorobeychik	Computing Randomized Security Strategies in Networked Domains.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF