The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 215 of Computational Linguistics Vol. 15, Issue 3
[page]
1989
Computational Linguistics
Preserved Fulltext
01-0011A
Evaluations of Expert System Development Tools
Lewis, M.
01-0013
LDR: A Logic for Defeasible Reasoning
Nute, D.
01-0014
The Automation of a Practical Reasoning System Based on Concepts in Deontic ...
In this report I examine three systems of deontic logic (the logic of ‘‘ought’’), and based two automated practical reasoning systems on them. The first one is implemented in Prolog. ...
A system for modal and deontic defeasible reasoning
2008
Proceedings of the 2008 ACM symposium on Applied computing - SAC '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our language of choice, defeasible logic, is compatible with developments in this area. ...
As argued in [1] , reasoning about intentions and other mental attitudes has defeasible nature, and defeasibility is a key aspect for normative reasoning. ...
It provides automated decision support, when running a specific case with the given logic programs and ontological knowledge to get a correct answer. ...
doi:10.1145/1363686.1364226
dblp:conf/sac/AntoniouDG08
fatcat:fdu6v2dkrfd5xie7kgoytvzesa
A System for Nonmonotonic Rules on the Web
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is ...
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. ...
This reasoning family comprises defeasible logics [ 24, 5] and Courteous Logic Programs [ 16] . ...
doi:10.1007/978-3-540-30504-0_3
fatcat:k3x624xzurh2fe2mzmc54ft73y
DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies
2007
Data & Knowledge Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. ...
This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. ...
On Defeasible Logic Programming Defeasible reasoning is a simple rule-based approach to reasoning with incomplete and inconsistent information. ...
doi:10.1016/j.datak.2007.03.004
fatcat:axxiagmhnbhl5huy6w2x5x2iiy
A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper reports on a system for automated agent negotiation. The negotiation strategies are expressed in defeasible logic, and are applied using the implemented reasoning system DR-DEVICE. ...
This reasoning family comprises defeasible logics [14, 16] and Courteous Logic Programs [15] . ...
On Defeasible Logic Defeasible reasoning is a simple rule-based approach to reasoning with incomplete and inconsistent information. It can represent facts, rules, and priorities among rules. ...
doi:10.1007/978-3-540-30504-0_18
fatcat:filsxzegibbxpd6dgqcex42kam
A formal approach to negotiating agents development
2002
Electronic Commerce Research and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The control module is expressed as a statechart, and the reasoning module as a defeasible logic program. ...
The choice of statecharts and defeasible logic with respect to other formalisms is justified against a set of desirable criteria, and their suitability is illustrated through concrete examples of bidding ...
All the defeasible logic programs appearing in the paper have been tested using a defeasible logic inference engine [26] . ...
doi:10.1016/s1567-4223(02)00016-9
fatcat:zyz3ip56trdqhpyjutjcvvwvje
DR-DEVICE: A Defeasible Logic System for the Semantic Web
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. ...
In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic ...
This reasoning family comprises defeasible logics ( [35] , [6] ) and Courteous Logic Programs [24] . ...
doi:10.1007/978-3-540-30122-6_10
fatcat:7cdbrtiveneyhmjaawohlzxrny
A review of current defeasible reasoning implementations
2008
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. ...
An important goal of this paper is to argue for the need for well designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine ...
Logic programming -the father of automated reasoning Computational logic arose from the work begun by logicians in the 1950's on the automation of logical deduction, and was fostered in the 1970's by Colmerauer ...
doi:10.1017/s0269888908001318
fatcat:wnrfzrfocnfa3dk5luuvdwsjcy
Development of a Logic Layer in the Semantic Web: Research Issues
2010
2010 Sixth International Conference on Semantics, Knowledge and Grids
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper discusses argumentation, semantic web and defeasible logic programming with their distinct features and identifies the different research issues that need to be addressed in order to realize ...
defeasible argumentative reasoning in the semantic web applications. ...
Moreover, the benefits of defeasible logic programming on the semantic web are elaborated upon with an example. ...
doi:10.1109/skg.2010.61
dblp:conf/skg/JanjuaH10
fatcat:ln3pql6ftzhmzf4x6uuq232mwm
The RatioLog Project: Rational Extensions of Logical Reasoning
2015
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1503.06087v1 fatcat:jzgkb5acxfa2xitq47iyecqqniOther Versions
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. ...
In this context, we work toward the application of techniques from human reasoning: We employ defeasible reasoning to compare the answers w.r.t. specificity, deontic logic, normative reasoning, and model ...
Techniques from machine learning with similarity measures and case-based reasoning, defeasible reasoning with (a revision of) the specificity criterion, and normative reasoning with deontic logic help ...
doi:10.1007/s13218-015-0377-9
fatcat:w6mqqrmhmnerzjircnw4ktodwa
Defeasible security policy composition for web services
2006
Proceedings of the fourth ACM workshop on Formal methods in security - FMSE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we explore the concept of defeasible policy composition, wherein policies are represented in defeasible logic and composition is based on rules for non-monotonic inference. ...
We aim to partially validate these claims here with a formulation of defeasible policy composition for web services, an emerging foundation for B2B commerce on the World Wide Web. ...
to automate reasoning about defeasible theories. ...
doi:10.1145/1180337.1180342
dblp:conf/ccs/LeeBOG06
fatcat:mqbdt35l55bbzb76kshnfuy3ni
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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 automated execution and ...
We make use of a set of knowledge representation (KR) concepts and combine adequate logical formalisms in one expressive formal framework called ContractLog. ...
Table 1 . 1 Main logic concepts of ContractLog Logic
Usage
Derivation rules (horn logic with NaF)
Enables deductive reasoning on business rules. ...
doi:10.1007/11580072_19
fatcat:crdbgzxrkbegzhqcjnkwjizc4q
Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms
2019
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
logic programming (DeLP). ...
Contextual defeasible reasoning has been emerged from defeasible logic and multicontext system. ...
doi:10.14569/ijacsa.2019.0101285
fatcat:qfjemwjrg5deflvc7jvghr3vca
A formal approach to protocols and strategies for (legal) negotiation
2001
Proceedings of the 8th international conference on Artificial intelligence and law - ICAIL '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The choice of defeasible logic is justified against a set of desirable criteria for negotiation automation languages. ...
) a control module; (iii) a reasoning module specified as a defeasible theory; and (iv) a knowledge base which bridges the control and the reasoning modules, while keeping track of past decisions and interactions ...
Additionally it supports several defeasible reasoning mechanisms (prioritized logic programming), and an adviser. ...
doi:10.1145/383535.383555
dblp:conf/icail/GovernatoriDHO01
fatcat:a4pwhhlpq5djtdyaeviaveew7u
Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable models, are not given up. ...
The proposed algorithms exploit the structural information of defeasible knowledge bases to facilitate efficient computational models. ...
Together with the conviction that common sense reasoning should be at heart of any construction of automated intelligent agents, this has motivated a great line of research in AI. ...
doi:10.1007/11589990_91
fatcat:mauzfp77tfdmzgvyvrnh3v4ppa
« Previous
Showing results 1 — 15 out of 1,041 results