3119 search results - page 338 / 624 » General Default Logic |
159
click to vote
SPLC
2008
15 years 8 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
183
click to vote
WSPI
2004
15 years 8 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
157
click to vote
AAAI
2000
15 years 8 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
162
click to vote
AAAI
1993
15 years 8 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
164
click to vote
AAAI
1990
15 years 7 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...