13 search results - page 2 / 3 » Abduction in Labelled Deductive Systems - A Conceptual Abstr... |
132
click to vote
WOLLIC
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
166
click to vote
KI
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
142
click to vote
ESWS
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. This demo proposal aims at providing support for the localization of ontologies, and as a result at obtaining multilingual ontologies. We briefly present an advanced ver...
191
click to vote
ICTAI
2008
IEEE
16 years 9 days ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
161
click to vote
ICTAC
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...