Sciweavers

1373 search results - page 168 / 275
» What is Fuzzy Logic
Sort
View
96
Voted
TARK
2005
Springer
15 years 6 months ago
Common knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
91
Voted
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 23 days ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg
93
Voted
ENGL
2008
100views more  ENGL 2008»
15 years 26 days ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
ICCAD
1997
IEEE
171views Hardware» more  ICCAD 1997»
15 years 5 months ago
The disjunctive decomposition of logic functions
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
Valeria Bertacco, Maurizio Damiani
147
Voted
LPNMR
2011
Springer
14 years 3 months ago
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
David Poole