1269 search results - page 61 / 254 » Pi-Calculus in Logical Form |
138
click to vote
FGCS
1992
15 years 4 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
103
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
134
click to vote
ENTCS
2010
15 years 20 days ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
132
click to vote
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
226
Voted
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...