A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Handling Default Data under a Case-based Reasoning Approach
2015
Proceedings of the International Conference on Agents and Artificial Intelligence
unpublished
Preserved Fulltext
The knowledge acquired through past experiences is of the most importance when humans or machines try to find solutions for new problems based on past ones, which makes the core of any Case-based Reasoning ...
approach to problem solving. ...
try to find solutions for new proble e e ems m m m based on past ones, , w w w which mak k kes s s s t t t t the he he he c ore of any Case-based Reasoning approach to problem solving. g. g. g. ...
doi:10.5220/0005184602940304
fatcat:h4gqwddcqzdabfsx4n247dta7q
Forthcoming Papers
2005
Artificial Intelligence
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 2019; you can also visit the original URL.
The file type is application/pdf.
Exploiting such an encoding, one can use current DL-based reasoning systems as core reasoning engines for a next generation of CASE tools, that are equipped with reasoning capabilities on UML class diagrams ...
DL-based reasoning systems. ...
The resulting probabilistic generalizations of default reasoning from conditional knowledge bases allow for handling in a uniform framework strict logical knowledge, default logical knowledge, as well ...
doi:10.1016/j.artint.2005.06.001
fatcat:nujelewbkzfpfgfttrzycidfnu
Forthcoming paper
1998
Artificial Intelligence
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.
It is shown that such a problem can be reduced to a combinatorial problem, suitable to exact algorithmic solutions. ...
The computation on a general Bayesian network with convex sets of conditional distributions is formalized as a global optimization problem. ...
This method for default theorem proving is complemented by a model-based approach to incremental consistency checking. ...
doi:10.1016/s0004-3702(98)90010-8
fatcat:ktp2ll3hmjfghjildvwix2t2ey
Revisiting Default Description Logics – and Their Role in Aligning Ontologies
[chapter]
2015
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.
We present a new approach to extend the Web Ontology Language (OWL) with the capabilities to reason with defaults. ...
named individuals in the knowledge base. ...
This work was supported by the National Science Foundation under award 1017225 "III: Small: TROn-Tractable Reasoning with Ontologies" and award 1440202 "EarthCube Building Blocks: Collaborative Proposal ...
doi:10.1007/978-3-319-15615-6_1
fatcat:lxtlcx6rbbanlircy5folrhrom
Editorial
2004
Artificial Intelligence
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.
Nonmonotonicity appears in many reasoning tasks: rule based reasoning with exceptions, reasoning about action, merging multiple source information, belief revision, handling preferences, handling causal ...
A weighted base is a set of 0004-3702/$ -see front matter ...
Laura Giordano and Camilla Schwind introduce a new approach to reasoning about action and causation, based on conditional logic. ...
doi:10.1016/j.artint.2004.04.011
fatcat:m57dtbztabhrbobssga65r5m5u
The UML 2.0 Testing Profile and Its Relation to TTCN-3
[chapter]
2003
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 2019; you can also visit the original URL.
The file type is application/pdf.
This paper discusses different approaches for testing with UML and discusses the ongoing work of the Testing Profile. ...
However, with the approach towards system engineering with automated code generation, the need for solid conformance testing has increased. ...
The consequent application of UML for the specification of a component-based SUT leads to an interesting approach for the derivation of a component-based test system. ...
doi:10.1007/3-540-44830-6_7
fatcat:srjq44jxhvdwvm2hrxmrtynv5a
Page 7087 of Mathematical Reviews Vol. , Issue 99j
[page]
1999
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
“This method for default theorem proving is complemented by a model-based approach to incremental consistency checking. ...
, lemmas) can be adapted and extended to default reasoning. ...
Page 4641 of Mathematical Reviews Vol. , Issue 2003f
[page]
2003
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
reasoning can handle linguistically expressed uncertainty; each of the above- mentioned four types of reasoning is a special case of the hybrid model; sharing of information between the four types of ...
here as an extension of default reasoning, un- certain default reasoning proposed here to extend fuzzy default reasoning in presence of uncertainty). ...
The Workshop on Logic-Based Artificial Intelligence
1999
The AI Magazine
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 2015; you can also visit the original URL.
The file type is application/pdf.
reasoning, and various forms of default reasoning. ...
Gunning spoke about knowledge base projects at the Defense Advanced Research Projects Agency, where general reasoning systems are needed both to handle the general question-answering problem and to reason ...
doi:10.1609/aimag.v20i4.1484
dblp:journals/aim/Minker99
fatcat:jwvashh36rclfa3y25ao7pseum
Using methods of declarative logic programming for intelligent information agents
2002
Theory and Practice of Logic Programming
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 2005; you can also visit the original URL.
The file type is application/pdf.
A promising approach for solving the complex problems emerging in this context is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems ...
We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from logic programming and nonmonotonic reasoning for information agents. ...
This work was partially supported by the Austrian Science Fund (FWF) under grants P13871-INF, P14781-INF, and Z29-INF. ...
doi:10.1017/s1471068402001576
fatcat:zy4b2jbtnje6righqsq4l2s324
Using Methods of Declarative Logic Programming for Intelligent Information Agents
[article]
2001
arXiv
pre-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.
A promising approach is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems. ...
We then focus on declarative knowledge-representation methods, and review and evaluate approaches from logic programming and nonmonotonic reasoning for information agents. ...
This work was partially supported by the Austrian Science Fund (FWF) under grants P13871-INF, P14781-INF, and Z29-INF. ...
arXiv:cs/0108008v1
fatcat:tg6xs5g2qfhypinc7rvjv2v2t4
Case learning for CBR-based collision avoidance systems
2010
Applied intelligence (Boston)
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 2019; you can also visit the original URL.
The file type is application/pdf.
A successful CBR-based system relies on a high-quality case base, and a case creation technique for generating such a case base is highly required. ...
With the rapid development of case-based reasoning (CBR) techniques, CBR has been widely applied to real-world applications such as collision avoidance systems. ...
Therefore, we need a sophisticated approach to manage the case base when we add a potential case to the existing case base. ...
doi:10.1007/s10489-010-0262-z
fatcat:lbrsf5vce5d5rcarh4zgnz5fuq
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
2004
Computational intelligence
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 2008; you can also visit the original URL.
The file type is application/pdf.
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to nonmonotonic reasoning. ...
A set of criteria for classifying approaches is given, followed by a set of desiderata that an approach might be expected to satisfy. ...
In logic-based AI, a standard approach to handling preferences is to take an existing system of nonmonotonic reasoning and, in one fashion or another, equip it with preferences. ...
doi:10.1111/j.0824-7935.2004.00240.x
fatcat:2athvzwyazgobgqki57falevsi
An overview of nonmonotonic reasoning and logic programming
1993
The Journal of Logic Programming
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 2019; you can also visit the original URL.
The file type is application/pdf.
In this section we describe how logic programming incorporates the ability to handle data in a nonmonotonic fashion. ...
We discuss only the logic-based approach. ...
doi:10.1016/0743-1066(93)90028-f
fatcat:zs5h4ximffdfvapevyr6rvs4fm
Toward Sensor-Based Context Aware Systems
2012
Sensors
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.
The feasibility of our idea is demonstrated via a case study where a context-reasoning engine has been connected to simulated heartbeat sensors using prerecorded experimental data. ...
We use sensor outputs to identify the proper context of operation of a system and trigger decision-making based on context information. ...
There are basically two ways to deploy a hybrid model [33] : (1) partitioning the rules and using multiple reasoners in parallel and (2) using a single reasoner, and adding meta-rules to handle the different ...
doi:10.3390/s120100632
pmid:22368489
pmcid:PMC3279233
fatcat:6hjyp53335au7ndzdxf7fq3s6e
« Previous
Showing results 1 — 15 out of 187,553 results