4978 search results - page 284 / 996 » Logical models of argument |
173
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
168
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
144
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
158
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
142
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...