Sciweavers

4737 search results - page 78 / 948
» The LOGIC negotiation model
Sort
View
OWLED
2007
13 years 10 months ago
On Querying Ontologies with Contextual Logic Programming
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
Cláudio Fernandes, Nuno Lopes 0002, Salvado...
EUSFLAT
2003
102views Fuzzy Logic» more  EUSFLAT 2003»
13 years 10 months ago
Homogenizing multi-adjoint logic programs
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
Jesús Medina, Manuel Ojeda-Aciego
RULEML
2005
Springer
14 years 2 months ago
A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
Nick Bassiliades, Efstratios Kontopoulos, Grigoris...
AGP
2003
IEEE
14 years 2 months ago
Local Closed-World Assumptions for reasoning about Semantic Web data
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
Elisa Bertino, Alessandro Provetti, Franco Salvett...
AAMAS
1999
Springer
13 years 8 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh