2302 search results - page 222 / 461 » Basic Description Logics |
172
Voted
WECWIS
2008
IEEE
16 years 5 days ago
2008
IEEE
Integrating service description, discovery, and invocation functionalities presents several fundamental problems in the management of web services and is a basic problem for compo...
182
click to vote
SYNTHESE
2008
15 years 5 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
127
click to vote
ICALP
1990
Springer
15 years 9 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
142
click to vote
ACL
2001
15 years 7 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
142
click to vote
AML
2010
15 years 5 months ago
2010
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...