# 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?