2766 search results - page 421 / 554 » Hybridizing a Logical Framework |
137
Voted
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
116
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
133
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
218
click to vote
ICTL
1994
15 years 8 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
150
Voted
LPNMR
1993
Springer
15 years 8 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...