Fundamenta Informaticae
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
- ART @ Petri Nets
- 2011
This paper provides three algorithms for constructing system nets from sets of partially-ordered causal runs. The three… (More)
Is this relevant?
2011
2011
- Int. J. Approx. Reasoning
- 2011
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent… (More)
Is this relevant?
2007
2007
- 2007
Many generalizations and modifications of these theorems appear in the literature (for example, see [ 1 , 3 , 4 , 6 , 8 , 9, 10… (More)
Is this relevant?
2005
2005
- ICDCIT
- 2005
Symmetry reduction is a promising technique for combatting state space explosion in model checking. The problem of finding the… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
- PROMAS
- 2003
This paper presents the specification of a programming language for cognitive agents. This programming language is an extension… (More)
Is this relevant?
2003
2003
- Fundam. Inform.
- 2003
We consider a version of pattern matching useful in processing large musical data: matching, which consists in finding matches… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
- CPHC/BCS distinguished dissertations
- 1996
This thesis discusses the use of the real numbers in theorem proving. Typically, theorem provers only support a few `discrete… (More)
Is this relevant?
1996
1996
- Mathematical Structures in Computer Science
- 1996
Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… (More)
Is this relevant?
1995
1989
1989
- 1989
Selman and Kautz's award-winning paper on the logic of model-preference defaults introduced a new language and tractability… (More)
Is this relevant?