Fundamenta Informaticae

Fundamenta Informaticae is a peer-reviewed scientific journal covering computer science. The editor-in-chief is Damian Niwiński. It was established… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper provides three algorithms for constructing system nets from sets of partially-ordered causal runs. The three… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2011
2011
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
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
Symmetry reduction is a promising technique for combatting state space explosion in model checking. The problem of finding the… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2003
Highly Cited
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
We consider a version of pattern matching useful in processing large musical data: matching, which consists in finding matches… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
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
Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… (More)
Is this relevant?
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?