4401 search results - page 458 / 881 » Computing with Default Logic |
206
Voted
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
147
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an action selection method using fuzzy logic. The objective is to solve behaviour conflict in behaviour-based architectures for virtual agent navigation in un...
185
Voted
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
158
Voted
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
182
Voted
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...