1368 search results - page 93 / 274 » Personality-Based Practical Reasoning |
127
click to vote
CADE
1992
Springer
15 years 7 months ago
1992
Springer
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...
123
click to vote
CADE
2006
Springer
15 years 6 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
136
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
148
click to vote
PLILP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
DLOG
2008
15 years 5 months ago
2008
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...