4266 search results - page 248 / 854 » A Framework for Defining Logics |
161
click to vote
APAL
2002
15 years 6 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
172
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
200
click to vote
LANMR
2007
15 years 8 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
161
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
163
Voted
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...