Sciweavers

4737 search results - page 78 / 948
» The LOGIC negotiation model
Sort
View
OWLED
2007
15 years 4 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»
15 years 4 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
15 years 8 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...
149
Voted
AGP
2003
IEEE
15 years 8 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
15 years 3 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