725 search results - page 28 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
107
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
137
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
124
click to vote
JLP
2000
15 years 2 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
151
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
100
click to vote
FSS
2008
15 years 2 months ago
2008
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...