4401 search results - page 387 / 881 » Computing with Default Logic |
181
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
174
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
141
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
173
click to vote
AIIA
2007
Springer
16 years 28 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
135
click to vote
EUROPAR
2007
Springer
16 years 28 days ago
2007
Springer
We present in detail a GCA (Global Cellular Automaton) algorithm with 3n cells for Hirschberg’s algorithm which determines the connected components of a n-node undirected graph w...