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

Related topics

Related topics

4 relations
Computer scienceEuropean Association for Theoretical Computer ScienceReversible cellular automaton

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Aggregating Causal Runs into Workflow Nets
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
A framework for reasoning under uncertainty based on non-deterministic distance semantics
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
GENERALIZATIONS OF TWO THEOREMS OF JANISZEWSKI
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
Efficient Symmetry Reduction for an Actor-Based Model
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
A Programming Language for Cognitive Agents Goal Directed 3APL
This paper presents the specification of a programming language for cognitive agents. This programming language is an extension… (More)
Is this relevant?
2003
2003
Occurrence and Substring Heuristics for i-Matching
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
Theorem proving with the real numbers
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
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… (More)
Is this relevant?
1995
1995
Aspects of partial information in databases
 
Is this relevant?
1989
1989
Mumble Investigations of Model-preference Defaults Submitted to Fundamenta Informaticae Special Issue on Nonmonotonic Reasoning
Selman and Kautz's award-winning paper on the logic of model-preference defaults introduced a new language and tractability… (More)
Is this relevant?