10568 search results - page 438 / 2114 » Computer Intelligence and Formalization |
151
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
132
click to vote
AAAI
2010
15 years 6 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
121
click to vote
AAAI
2004
15 years 6 months ago
2004
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
142
click to vote
AIPS
2006
15 years 6 months ago
2006
This paper provides techniques for hierarchical task network (HTN) planning with durative actions. HTNs can provide useful heuristic guidance to planners, express goals that canno...
113
click to vote
FLAIRS
2006
15 years 6 months ago
2006
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...