Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Probabilistic logic programming
Information and Computation
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
ACM Transactions on Database Systems (TODS)
Stable semantics for probabilistic deductive databases
Information and Computation
Handbook of logic in artificial intelligence and logic programming (vol. 3)
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
On the equivalence between disjunctive and abductive logic programs
Proceedings of the eleventh international conference on Logic programming
Selected papers of international conference on Fifth generation computer systems 92
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
From structured documents to novel query facilities
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Data model and query evaluation in global information systems
Journal of Intelligent Information Systems - Special issue: networked information discovery and retrieval
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Query reformulation for dynamic information integration
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
Automated temporal reasoning about reactive systems
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
InfoSleuth: agent-based semantic integration of information in open and dynamic environments
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The Context Interchange mediator prototype
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
The Carnot Heterogeneous Database Project: Implemented Applications
Distributed and Parallel Databases
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Lore: a database management system for semistructured data
ACM SIGMOD Record
Representing action: indeterminacy and ramifications
Artificial Intelligence
Answer sets for prioritized logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A Web-based information system that reasons with structured collections of text
AGENTS '98 Proceedings of the second international conference on Autonomous agents
What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Lexicographic priorities in default logic
Artificial Intelligence
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous active agents, II: algorithms and complexity
Artificial Intelligence
Preferred answer sets for extended logic programs
Artificial Intelligence
Agent-based semantic interoperability in infosleuth
ACM SIGMOD Record
Integrating induction and abduction in logic programming
Information Sciences—Informatics and Computer Science: An International Journal - Special issue on logical methods for computational intelligence
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Disjunctive logic programs with inheritance
Proceedings of the 1999 international conference on Logic programming
Using extended logic programming for alarm-correlation in cellular phone networks
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Artificial Intelligence - Special issue on Intelligent internet systems
Merging potentially inconsistent items of structured text
Data & Knowledge Engineering
Expressing preferences in default logic
Artificial Intelligence
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
First-Order Dynamic Logic
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Heterogeneous Agent Systems
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Automating Workflows for Service Order Processing: Integrating AI and Database Technologies
IEEE Expert: Intelligent Systems and Their Applications
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
Querying Semistructured Heterogeneous Information
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
A Uniform Framework for Integrating Knowledge in Heterogeneous Knowledge Systems
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Generalizing Updates: From Models to Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Revision Specifications by Means of Programs
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Logic Programs for Intelligent Web Search
ISMIS '99 Proceedings of the 11th International Symposium on Foundations of Intelligent Systems
Combining Knowledge Bases Consisting of First Order Theories
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Update-Programs Can Update Programs
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Conformant Planning via Model Checking
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth(tm)
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Towards generalized rule-based updates
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Planning executing sensing and replanning for information gathering
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A system for defeasible argumentation, with defeasible priorities
Artificial intelligence today
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Revising knowledge in multi-agent systems using revision programming with preferences
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources available, and on the other hand, from their intrinsic heterogeneity, since standards are missing. A promising approach for solving the complex problems emerging in this context is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems. This requires advanced capabilities to address complex tasks, such as search and assessment of information sources, query planning, information merging and fusion, dealing with incomplete information, and handling of inconsistency. In this paper, our interest lies in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents. In particular, we are interested to see how they can be used, extended, and further developed for the specific needs of this application domain. We review some existing systems and current projects, which typically address information-integration problems. We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from logic programming and nonmonotonic reasoning for information agents. We discuss advantages and drawbacks, and point out the possible extensions and open issues.