4224 search results - page 105 / 845 » Reasoning about Choice |
208
click to vote
FMCO
2007
Springer
16 years 29 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
167
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to shar...
209
click to vote
MABS
2000
Springer
15 years 10 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...
193
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
166
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel method for automatic evaluation of conversational agents. In the method, information about users’ attitudes and sentiments to conversational agents a...