Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A parallel multiprocessor machine dedicated to relational and deductive data bases
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A procedural semantics for well founded negation in logic programs
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the power of Alexander templates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hypothetical datalog negation and linear recursion
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
IDLOG: extending the expressive power of deductive database languages
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Minimum and maximum predicates in logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On negation in HiLog (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A non-deterministic deductive database language
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Nested relation based database knowledge representation
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
The impact of logic programming on databases
Communications of the ACM
Tie-breaking semantics and structural totality
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The valid model semantics for logic programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Prolog at IBM: an advanced and evolving application development technology
IBM Systems Journal
Explaining SLDNF resolution with non-normal defaults
IBM Journal of Research and Development
On the relationship between circumscription and well-founded semantics of logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
An alternating fixpoint tailored to magic programs
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Negation and minimality in non-horn databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compositional analysis of modular logic programs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the expressive power of query languages
ACM Transactions on Information Systems (TOIS)
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
A unified framework for enforcing multiple access control policies
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Integrating Multiple Learning Strategies in First Order Logics
Machine Learning - Special issue on multistrategy learning
A deductive rules processor for SQL databases
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Providing semantics for indefinite deductive databases
Proceedings of the seventh international conference on Information and knowledge management
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive powers of the logic programming semantics (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Explicit control of logic programs through rule algebra
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
The locality principle and completeness in logic programming
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Refining Numerical Constants in First Order Logic Theories
Machine Learning - Special issue on multistrategy learning
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Journal of Intelligent Information Systems
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Linear time datalog and branching time logic
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case
Journal of Automated Reasoning
Pushing extrema aggregates to optimize logic queries
Information Systems
Yet some more complexity results for default logic
Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
An Advanced Database Accelerator
IEEE Micro
IEEE Transactions on Knowledge and Data Engineering
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
Using a Relational Database to Support Explanation in a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Linearizing Some Recursive Logic Programs
IEEE Transactions on Knowledge and Data Engineering
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Query Languages for Sequence Databases: Termination and Complexity
IEEE Transactions on Knowledge and Data Engineering
Nondeterministic, Nonmonotonic Logic Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
A Knowledge Representation Model for Multiuser Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Parallel and Distributed Processing of Rules by Data-Reduction
IEEE Transactions on Knowledge and Data Engineering
Compiling Problem Specifications into SAT
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Fages' Theorem for Programs with Nested Expressions
Proceedings of the 17th International Conference on Logic Programming
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Computing Facts in Non-Horn Deductive Systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
The Magic of Duplicates and Aggregates
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Search and Optimization Problems in Datalog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
An Infinite-Valued Semantics for Logic Programs with Negation
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining Description Logics with Stratified Logic Programs in Knowledge Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Extending Disjunctive Logic Programming by T-norms
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
TRBAC: A Temporal Authorization Model
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Alternating Fixpoint Theory for Logic Programs with Priority
CL '00 Proceedings of the First International Conference on Computational Logic
Data Protection by Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
The Well-Founded Semantics Is a Stratified Fitting Semantics
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Some Properties of Invers Resolution in Normal Logic Programs
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Generating Minimal Herbrand Models Step by Step
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Termination of well-typed logic programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An approach to engineer and enforce context constraints in an RBAC environment
Proceedings of the eighth ACM symposium on Access control models and technologies
New Generation Computing
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Nordic Journal of Computing
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Between Well-Founded Semantics and Stable Model Semantics
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Recent advances in access control models
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
Removing permissions in the flexible authorization framework
ACM Transactions on Database Systems (TODS)
Journal of Symbolic Computation - Special issue: First order theorem proving
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
ACM Transactions on Computational Logic (TOCL)
Locally Determined Logic Programs and Recursive Stable Models
Annals of Mathematics and Artificial Intelligence
Proceedings of the 2004 ACM symposium on Applied computing
Formalizing defeasible logic in CAKE
Fundamenta Informaticae
Theory and Practice of Logic Programming
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming
A logic-based approach to data integration
Theory and Practice of Logic Programming
Computing large and small stable models
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Linear tabulated resolution based on Prolog control strategy
Theory and Practice of Logic Programming
Semi-naive evaluation in linear tabling
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
An integrated approach to engineer and enforce context constraints in RBAC environments
ACM Transactions on Information and System Security (TISSEC)
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
authUML: a three-phased framework to analyze access control specifications in use cases
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Symmetric structure in logic programming
Journal of Computer Science and Technology
Beyond proof-of-compliance: security analysis in trust management
Journal of the ACM (JACM)
Compiling problem specification into SAT
Artificial Intelligence - Special volume on reformulation
Policy-based dissemination of partial web-ontologies
Proceedings of the 2005 workshop on Secure web services
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Artificial Intelligence
Inferring dynamic credentials for rôle-based trust management
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
The Journal of Machine Learning Research
Parametric connectives in Disjunctive Logic Programming
AI Communications
Information and Software Technology
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Heuristics for Safety and Security Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Connectionist model generation: A first-order approach
Neurocomputing
Locally stratified Boolean grammars
Information and Computation
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
Compactness Properties for Stable Semantics of Logic Programs
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases
Towards a System for Ontology-Based Information Extraction from PDF Documents
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Relating Cognitive Process Models to Behavioural Models of Agents
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
An Argumentation Framework Based on Conditional Priorities
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Answer Set Programming without Unstratified Negation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Answer Set Programming for Single-Player Games in General Game Playing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Computing Stable Models via Reductions to Difference Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A magic approach to optimizing incremental relational expressions
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An evidence-based framework for a theory of inheritance
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A fully connectionist model generator for covered first-order logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Programming in autoepistemic logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A model-theoretic counterpart of loop formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Compiling problem specifications into SAT
Artificial Intelligence - Special volume on reformulation
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
Artificial Intelligence
Automated theorem proving for general game playing
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Obtaining Memory-Efficient Solutions to Boolean Equation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Conflict-driven answer set enumeration
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Head-elementary-set-free logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Connecting databases with argumentation
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Rule-based composite event queries: the language XChangeEQ and its semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Decidability under the well-founded semantics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A fixpoint approach to state generation for stratifiable disjunctive deductive databases
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
On Semantic Update Operators for Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Production systems need negation as failure
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Causal theories for nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Optimized incremental ETL jobs for maintaining data warehouses
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Constructive semantics for instantaneous reactions
Theoretical Computer Science
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Thirteen definitions of a stable model
Fields of logic and computation
What have we learnt from deductive object-oriented database research?
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
On the minimality of stable models
Logic programming, knowledge representation, and nonmonotonic reasoning
Compact translations of non-disjunctive answer set programs to propositional clauses
Logic programming, knowledge representation, and nonmonotonic reasoning
Translating general game descriptions into an action language
Logic programming, knowledge representation, and nonmonotonic reasoning
Revisiting epistemic specifications
Logic programming, knowledge representation, and nonmonotonic reasoning
Proceedings of the 5th ACM international conference on Distributed event-based system
Back and forth between rules and SE-models
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Optimizing the distributed evaluation of stratified programs via structural analysis
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Tableau calculi for answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Coinductive logic programming with negation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
On elementary loops of logic programs
Theory and Practice of Logic Programming
A flexible authorization framework for e-commerce
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Efficient integrity checking for databases with recursive views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Model checking Is static analysis of modal logic
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
First-Order encodings for modular nonmonotonic datalog programs
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Dyna: extending datalog for modern AI
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Automated verification of state sequence invariants in general game playing
Artificial Intelligence
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Logic programming for Boolean networks
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
The general game playing description language is universal
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
To vladimir lifschitz on his 65th birthday
Correct Reasoning
The intelligent grounder of DLV
Correct Reasoning
Oscillating behavior of logic programs
Correct Reasoning
The good, the bad, and the odd: cycles in answer-set programs
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Model checking as static analysis: revisited
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Proceedings of the 14th symposium on Principles and practice of declarative programming
Formalizing Defeasible Logic in CAKE
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
On the Complexity of Perfect Models of Logic Programs
Fundamenta Informaticae
Executing Suspended Logic Programs
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
Fundamenta Informaticae
The Complexity Of Local Stratification
Fundamenta Informaticae
Logic and lattices for distributed programming
Proceedings of the Third ACM Symposium on Cloud Computing
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Rule-based policy representation and reasoning for the semantic web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Meta programming with answer sets for smart spaces
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Learning from interpretation transition
Machine Learning
| Hi-index | 0.02 |