13 search results - page 2 / 3 » Abduction in Labelled Deductive Systems - A Conceptual Abstr... |
WOLLIC
2009
Springer
14 years 2 months 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...
KI
1992
Springer
13 years 11 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...
ESWS
2009
Springer
14 years 2 months 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...
ICTAI
2008
IEEE
14 years 1 months 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)...
ICTAC
2009
Springer
14 years 2 months 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...