1948 search results - page 108 / 390 » Formalizing Mirror Theory |
155
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper introduces a new class called hang yourself (HY) arguments into the theory of defeasible argumentation. The novelty of such arguments is that they are inherently destru...
147
click to vote
DALT
2003
Springer
15 years 10 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
153
click to vote
SPLC
2007
15 years 6 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
150
click to vote
ARTMED
1998
15 years 5 months ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
150
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML r...