Sciweavers

Share
93 search results - page 1 / 19
» On the Computational Representation of Classical Logical Con...
Sort
View
ENTCS
2007
82views more  ENTCS 2007»
11 years 5 months ago
On the Computational Representation of Classical Logical Connectives
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
Jayshan Raghunandan, Alexander J. Summers
FOIKS
2008
Springer
11 years 7 months ago
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
Vasiliki Efstathiou, Anthony Hunter
ECSQARU
2009
Springer
12 years 5 days ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
Vasiliki Efstathiou, Anthony Hunter
WOLLIC
2009
Springer
12 years 6 days ago
Classic-Like Analytic Tableaux for Finite-Valued Logics
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
Carlos Caleiro, João Marcos
AAAI
1998
11 years 7 months ago
Logical Representation and Computation of Optimal Decisions in a Qualitative Setting
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
Didier Dubois, Daniel Le Berre, Henri Prade, R&eac...
books