2688 search results - page 249 / 538 » A formal semantics for P3P |
183
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
179
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
170
click to vote
KI
2007
Springer
16 years 24 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
186
click to vote
ICCD
2005
IEEE
16 years 8 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
178
click to vote
NMR
2004
Springer
16 years 18 hour ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...