An extended logic programming based multi-agent system formalization in mobile environments
Abstract
References
Index Terms
- An extended logic programming based multi-agent system formalization in mobile environments
Recommendations
A multi-agent system for mobile environments
Intelligent information processing IIIn this paper, we present a framework/model for a logic programming multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels, and we model the interactions between ...
A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
Argumentation has proved a useful tool in defining formal semantics for assumption-based reasoning by viewing a proof as a process in which proponents and opponents attack each others arguments by undercuts (attack to an argument's premise) and rebuts (...
Formalization of the Resolution Calculus for First-Order Logic
I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations ...
Comments
Information & Contributors
Information
Published In
- General Chair:
- David Grossman,
- Program Chairs:
- Luis Gravano,
- ChengXiang Zhai,
- Otthein Herzog,
- David A. Evans
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 180Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in