The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Distributed diagnosis by vivid agents
AGENTS '97 Proceedings of the first international conference on Autonomous agents
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
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
ACM Computing Surveys (CSUR)
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
LUPS---a language for updating logic programs
Artificial Intelligence
Logic programming and software maintenance
Annals of Mathematics and Artificial Intelligence
Representing and reasoning about concurrent actions with abductive 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
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Maximal state independent approximations to minimal real change
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
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Coherence Approach to Logic Program Revision
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Translations of Ripple Down Rules into Logic Formalisms
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic Programming Updating - A Guided Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
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
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Relationship between Defeasible Logic and Well-Founded Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Updating Extended Logic Programs through Abduction
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
Partial Models of Extended Generalized Logic Programs
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
Computing Equilibrium Models Using Signed Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
From rough sets to rough knowledge bases
Fundamenta Informaticae
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
Defeasible logic programming: an argumentative approach
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
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Theory and Practice of Logic Programming
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Skeptical Reasoning in FC-Normal Logic Programs is Π^1_1-complete
Fundamenta Informaticae
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Semantic forgetting in answer set programming
Artificial Intelligence
Explicit and default negation in databases and logic programs
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
EVOLP: Tranformation-Based Semantics
Computational Logic in Multi-Agent Systems
Computational Logic in Multi-Agent Systems
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
On the Computability and Complexity Issues of Extended RDF
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
Recommender System Technologies based on Argumentation 1
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Computability and Complexity Issues of Extended RDF
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Process Model for Group Decision Making with Quality Evaluation
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Adding time and intervals to procedural and hierarchical control specifications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Forgetting and conflict resolving in disjunctive logic programming
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A theory of forgetting in logic programming
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
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
An abductive framework for general logic programs and other nonmonotonic systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ex contradictione nihil sequitur
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
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
Graph theoretical characterization and computation of answer sets
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Activity recognition with intended actions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical 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
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
A preference-based framework for updating logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
An argumentation-based negotiation for distributed extended logic programs
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Adding knowledge updates to 3APL
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Answer-set programming based dynamic user modeling for recommender systems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Logic-based knowledge representation
Artificial intelligence today
A program-level approach to revising logic programs under the answer set semantics
Theory and Practice of Logic Programming
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Minimal belief and negation as failure: a feasible approach
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Embeddings of simple modular extended RDF
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Declarative semantics for the rule interchange format production rule dialect
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Thirteen definitions of a stable model
Fields of logic and computation
Closure and consistency rationalities in logic-based argumentation
Logic programming, knowledge representation, and nonmonotonic reasoning
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
On the practical side of answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Homage to Michael Gelfond on his 65th birthday
Logic programming, knowledge representation, and nonmonotonic reasoning
Modularity in the rule interchange format
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
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
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Supporting open and closed world reasoning on the web
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Stable model theory for extended RDF ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Nested epistemic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Representation of partial knowledge and query answering in locally complete databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Diagnosis of power system protection
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Implementing query answering for hybrid MKNF knowledge bases
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Inductive equivalence of logic programs
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
A framework for reasoning with rough sets
Transactions on Rough Sets IV
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
LPForget: a system of forgetting in answer set programming
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Merging and aligning ontologies in dl-programs
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Stepwise debugging of description-logic programs
Correct Reasoning
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
From Rough Sets to Rough Knowledge Bases
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Skeptical Reasoning in FC-Normal Logic Programs is Π^1_1-complete
Fundamenta Informaticae
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
Fundamenta Informaticae
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
A rational extension of stable model semantics to the full propositional language
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |