722 search results - page 93 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
103
click to vote
ECOOPW
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
108
click to vote
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
116
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
116
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...