225 search results - page 40 / 45 » OntoDLP: a Logic Formalism for Knowledge Representation |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
ISTA
2004
13 years 8 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
ICLP
2005
Springer
14 years 29 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...