4401 search results - page 263 / 881 » Computing with Default Logic |
145
Voted
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...
148
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
120
click to vote
CIE
2008
Springer
15 years 7 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
163
click to vote
DLOG
2003
15 years 7 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
169
Voted
ENTCS
2008
15 years 5 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...