5378 search results - page 99 / 1076 » Base Logics in Argumentation |
189
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
191
click to vote
IJCAI
1997
15 years 7 months ago
1997
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...
158
click to vote
RULEML
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
163
click to vote
AIML
1998
15 years 7 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
189
click to vote
DALT
2007
Springer
16 years 6 days ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...