Semantical considerations on nonmonotonic logic
Artificial Intelligence
Journal of Logic Programming
Relational queries computable in polynomial time
Information and Control
Design overview of the NAIL] system
Proceedings on Third international conference on logic programming
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Inferring negative information from disjunctive databases
Journal of Automated Reasoning
Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
On the declarative semantics of logic programs with negation
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Equivalences of logic programs
Foundations of deductive databases and logic programming
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
Modeling simultaneous events with default reasoning and tight derivations
Journal of Logic Programming - Logic programming applications
The expressive power of stratified logic programs
Information and Computation
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)
Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)
Minimum and maximum predicates in logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The impact of logic programming on databases
Communications of the ACM
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Monotonic aggregation in deductive databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics of aggregation
PODS '92 Proceedings of the eleventh 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
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Structural totality and constraint stratification
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Perspectives on database theory
ACM SIGACT News
Optimization and relaxation in constraint logic languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Database Systems (TODS)
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Providing semantics for indefinite deductive databases
Proceedings of the seventh international conference on Information and knowledge management
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An access control model supporting periodicity constraints and temporal reasoning
ACM Transactions on Database Systems (TODS)
Fixpoint 3-valued semantics for autoepistemic logic
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Modular stratification and magic sets for DATALOG programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Succinct model semantics: a simple model for inclusive interpretations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Extending constraint logic programming with open functions
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Personalizing E-commerce applications with on-line heuristic decision making
Proceedings of the 10th international conference on World Wide Web
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
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)
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Linear time datalog and branching time logic
Logic-based artificial intelligence
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
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
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
Pushing extrema aggregates to optimize logic queries
Information Systems
On the equivalence and range of applicability of graph-based representations of logic programs
Information Processing Letters
Protecting deductive databases from unauthorized retrieval and update requests
Data & Knowledge Engineering - Data and applications security
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
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
A Temporal Access Control Mechanism for Database Systems
IEEE Transactions on Knowledge and Data Engineering
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Implementation of Tabled Evaluation with Delaying in Prolog
IEEE Transactions on Knowledge and Data Engineering
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Reasoning as Prioritized Argumentation
IEEE Transactions on Knowledge and Data Engineering
INDED: A Distributed Knowledge-Based Learning System
IEEE Intelligent Systems
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Belief Revision by Lamarckian Evolution
Proceedings of the EvoWorkshops on Applications of Evolutionary Computing
A Computational Model for Functional Logic Deductive Databases
Proceedings of the 17th International Conference on Logic Programming
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
Proceedings of the 17th International Conference on Logic Programming
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Towards Local Search for Answer Sets
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Access Control for Deductive Databases by Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Rewriting Method for Well-Founded Semantics with Explicit Negation
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
The Parallelization of a Knowledge Discovery System with Hypergraph Representation
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Efficient Computation of the Well-Founded Model Using Update Propagation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computing and Comparing Semantics of Programs in Four-Valued Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Suspending and Resuming Computations in Engines for SLG Evaluation
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Compiling Default Theory int Extended Logic Programming
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Supporting Periodic Authorizations and Temporal Reasoning in Database Access Control
VLDB '96 Proceedings of the 22th 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
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Capturing Stationary and Regular Extensions with Reiter's Extensions
JELIA '00 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
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
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
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Role of Negation in Choice Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Coherent Well-founded Annotated Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Linear Tabulated Resolutions for the Well-Founded Semantics
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
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
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
The Use of Renaming in Composing General Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Psychiatric Diagnosis from the Viewpoint of Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
On the Problem of Computing the Well-Founded Semantics
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
A Top-Down Procedure for Disjunctive Well-Founded Semantics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Hypothesis Support for Information Integration in Four-Valued Logics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
Soft stratification for magic set based query evaluation in deductive databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
New Generation Computing
A Web odyssey: from codd to XML
ACM SIGMOD Record
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Semantics of Normal Logic Programs and Contested Information
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Precongruence Formats for Decorated Trace Preorders
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A Logic-based Knowledge Representation for Authorization with Delegation
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
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
Belief revision via Lamarckian evolution
New Generation Computing
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Computational Logic (TOCL)
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
Parametrized semantics of logic programs: a unifying framework
Theoretical Computer Science
Towards a formalization of disease-specific ontologies for neuroinformatics
Neural Networks - Special issue: Neuroinformatics
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Introduction to the special issue on Programming with answer sets
Theory and Practice of Logic Programming
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
A logic-based approach to data integration
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Computing large and small stable models
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
On the problem of computing the well-founded semantics
Theory and Practice of Logic Programming
Declarative semantics for active rules
Theory and Practice of Logic Programming
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Hypothesis-based semantics of logic programs in multivalued logics
ACM Transactions on Computational Logic (TOCL)
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Comparisons and computation of well-founded semantics for disjunctive logic programs
ACM Transactions on Computational Logic (TOCL)
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Normal forms for answer sets programming
Theory and Practice of Logic Programming
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Inter-instance authorization constraints for secure workflow management
Proceedings of the eleventh ACM symposium on Access control models and technologies
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
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
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
Any-world assumptions in logic programming
Theoretical Computer Science
A backjumping technique for disjunctive logic programming
AI Communications
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Transforming arbitrary tables into logical form with TARTAR
Data & Knowledge Engineering
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Artificial Intelligence
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Probabilistic description logic programs
International Journal of Approximate Reasoning
An introduction to fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
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 17th international conference on World Wide Web
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Reasoning with recursive loops under the PLP framework
ACM Transactions on Computational Logic (TOCL)
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Explicit and default negation in databases and logic programs
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
A glimpse of symbolic-statistical modeling by PRISM
Journal of Intelligent Information Systems
Locally stratified Boolean grammars
Information and Computation
Compactness Properties for Stable Semantics of Logic Programs
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rough Sets and Approximation Schemes
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Any-World Access to OWL from Prolog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A SPARQL Semantics Based on Datalog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A Top Down Interpreter for LPAD and CP-Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Model Generation for Horn Logic with Stratified Negation
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Rules and Ontologies for the Semantic Web
Reasoning Web
Annals of Mathematics and Artificial Intelligence
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logical Approach to Qualitative and Quantitative Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
.QL: Object-Oriented Queries Made Easy
Generative and Transformational Techniques in Software Engineering II
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
On the Semantics of Trust and Caching in the Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Rule Interchange Format: The Framework
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Business Driven SOA Customization
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Computing Only Minimal Answers in Disjunctive Deductive Databases
Journal of Automated Reasoning
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Concurrent and Local Evaluation of Normal Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Lparse Programs Revisited: Semantics and Representation of Aggregates
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Approximation Schemes in Logic and Artificial Intelligence
Transactions on Rough Sets IX
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
WSMO-MX: A hybrid Semantic Web service matchmaker
Web Intelligence and Agent Systems
Strong equivalence of logic programs under the infinite-valued semantics
Information Processing Letters
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
P-stable models of strong kernel programs
Journal of Algorithms
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Advanced Preprocessing for Answer Set Solving
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Expressing Extension-Based Semantics Based on Stratified Minimal Models
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Well-founded semantics for Boolean grammars
Information and Computation
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Elementary sets for logic programs
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Logic Programs under Three-Valued Łukasiewicz Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Deductive System for FO(ID) Based on Least Fixpoint Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Well-Founded and Partial Stable Semantics Logical Aspects
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
DR-Prolog: a system for reasoning with rules and ontologies on the semantic web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Answer set planning under action costs
Journal of Artificial Intelligence Research
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
A default interpretation of defeasible network
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Grounding for model expansion in k-guarded formulas with inductive definitions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
Derivation procedures for extended stable models
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Declarative and computational properties of logic programs with aggregates
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A model-theoretic counterpart of loop formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Minimal and absent information in contexts
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Generative modeling with failure in PRISM
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Annals of Mathematics and Artificial Intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Proceedings of the 2009 ACM workshop on Secure web services
Meta-logic programming for the extensions of default theories
CI '07 Proceedings of the Third IASTED International Conference on Computational Intelligence
A Logic Programming System for Evolving Programs with Temporal Operators
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Formal Theory for Modular ERDF Ontologies
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Possibilistic Well-Founded Semantics
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Nonmonotonic Trust Management for P2P Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Theory and Practice of Logic Programming
Reconciling description logics and rules
Journal of the ACM (JACM)
Towards the computation of stable probabilistic model semantics
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A purely model-theoretic semantics for disjunctive logic programs with negation
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Well-founded semantics and the algebraic theory of non-monotone inductive definitions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
An Smodels system with limited lookahead computation
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A semantic framework for language layering in WSML
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
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Generic tableaux for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Integrating inductive definitions in SAT
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
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
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
SAT(ID): satisfiability of propositional logic extended with inductive definitions
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Logic-based knowledge representation
Artificial intelligence today
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Four lessons in versatility or how query languages adapt to the web
Semantic techniques for the web
Role-based access control (RBAC) in Java via proxy objects using annotations
Proceedings of the 15th ACM symposium on Access control models and technologies
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Loop formulas for description logic programs
Theory and Practice of Logic Programming
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
A Multi-INT Semantic Reasoning Framework for Intelligence Analysis Support
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
CF2-extensions as Answer-set Models
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A 25-year perspective on logic programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Parametrized logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research
Defeasibility in answer set programs via argumentation theories
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
A possibilistic intuitionistic logic
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Abstract answer set solvers with backjumping and learning
Theory and Practice of Logic Programming
Thirteen definitions of a stable model
Fields of logic and computation
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
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
An authorization scheme for version control systems
Proceedings of the 16th ACM symposium on Access control models and technologies
Answer set programming's contributions to classical logic: an analysis of ASP methodology
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
Inspecting side-effects of abduction in logic programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
Stable model implementation of layer supported models by program transformation
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Communicating ASP and the polynomial hierarchy
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
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Normative systems represented as hybrid knowledge bases
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Logic-based model-level software development with F-OML
Proceedings of the 14th international conference on Model driven engineering languages and systems
International Journal of Artificial Intelligence and Soft Computing
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Hybrid probabilistic logic programs with non-monotonic negation
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Reducing inductive definitions to propositional satisfiability
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A well-founded semantics with disjunction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Stable model theory for extended RDF ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Do not use this gear with a switching lever! automotive industry experience with semantic guides
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Halo i: a controlled experiment for large scale knowledge base development
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Unfounded sets for disjunctive logic programs with arbitrary aggregates
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An ID-logic formalization of the composition of autonomous databases
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
PLATYPUS: a platform for distributed answer set solving
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
nomore: a system for computing preferred answer sets
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The loop formula based semantics of description logic programs
Theoretical Computer Science
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
On the logic and computation of partial equilibrium models
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Ambiguity propagating defeasible logic and the well-founded semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Incomplete knowledge in hybrid probabilistic logic programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Representing causal information about a probabilistic process
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
About declarative semantics of logic-based agent languages
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Ontology mapping by axioms (OMA)
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
The nomore++ approach to answer set solving
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Satisfiability checking for PC(ID)
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Preference revision via declarative debugging
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Revised stable models – a semantics for logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Operational semantics for DyLPs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Emergence of cooperation through mutual preference revision
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Strong negation in well-founded and partial stable semantics for logic programs
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Tableau calculi for answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Predicate introduction under stable and well-founded semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Implementing query answering for hybrid MKNF knowledge bases
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
An authorization framework based on constrained delegation
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Query answering in normal logic programs under uncertainty
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
PIRE: an extensible IR engine based on probabilistic datalog
ECIR'05 Proceedings of the 27th European conference on Advances in Information Retrieval Research
Logical bayesian networks and their relation to other probabilistic logical models
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Deriving a stationary dynamic bayesian network from a logic program with recursive loops
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Information and Computation
Well-Founded semantics for boolean grammars
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Characterization of argumentation semantics in terms of the MMr semantics
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
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
Towards an abstract syntax and direct-model theoretic semantics for RuleML
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Modality argumentation programming
MDAI'06 Proceedings of the Third international conference on Modeling Decisions for Artificial Intelligence
A deductive database with datalog and SQL query languages
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Answer set modules for logical agents
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
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Win-move is coordination-free (sometimes)
Proceedings of the 15th International Conference on Database Theory
Annals of Mathematics and Artificial Intelligence
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Fundamenta Informaticae - Logic, Language, Information and Computation
A Possibilistic Argumentation Decision Making Framework with Default Reasoning
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Oscillating behavior of logic programs
Correct Reasoning
Connecting first-order ASP and the logic FO(ID) through reducts
Correct Reasoning
Well-Supported semantics for logic programs with generalized rules
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
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Conflict, consistency and truth-dependencies in graph representations of answer set logic programs
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
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
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Logic Programming Representation of the Compound Term Composition Algebra
Fundamenta Informaticae
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
Fundamenta Informaticae
Approximating the Stable Model Semantics is Hard
Fundamenta Informaticae
On a Logical Basis of Normal Logic Programs
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
Fundamenta Informaticae
Modifying Intensional Logic Knowledge
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
Well-founded semantics for extended datalog and ontological reasoning
Proceedings of the 32nd symposium on Principles of database systems
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Enabling agent reasoning over the web
Proceedings of the 6th Balkan Conference in Informatics
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Computing the stratified semantics of logic programs over big data through mass parallelization
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Relating constraint answer set programming languages and algorithms
Artificial Intelligence
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Expectation maximization over binary decision diagrams for probabilistic logic programs
Intelligent Data Analysis
Hi-index | 0.03 |