4978 search results - page 108 / 996 » Logical models of argument |
167
Voted
AIMDM
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
150
Voted
FLAIRS
2006
15 years 5 months ago
2006
Recent work in lexical resource construction has recognized the importance of contextualizing the knowledge in existing resources and ontologies with information derived from text...
111
Voted
ENTCS
2007
15 years 3 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
101
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
99
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic