4978 search results - page 161 / 996 » Logical models of argument |
121
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
116
click to vote
SLOGICA
2010
15 years 2 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
125
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
114
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
151
click to vote
DLOG
2003
15 years 5 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...