4126 search results - page 78 / 826 » Relationships with other Formalisms |
159
click to vote
KER
2006
15 years 6 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
179
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
152
click to vote
CIBSE
2009
ACM
16 years 21 days ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
152
click to vote
TPHOL
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
156
click to vote
DIGRA
2005
Springer
15 years 11 months ago
2005
Springer
A general technique is proposed to deal with the formalization of intuition and human-oriented concepts in competition thinking games like chess, such as defensive play, attack, t...