|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13906 occurrences of 4505 keywords
|
|
|
Results
Found 44759 publication records. Showing 44759 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
|
|