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.
Filters
A Survey of Revision Approaches in Description Logics
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
Many approaches in the theory of belief revision have been applied to deal with this problem and most of them focus on the postulate or logical properties of a revision operator in Description Logics ( ...
Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. ...
Acknowledgments The first author is partially supported by the EU in the IST project NeOn (EU IST-2006-027595, http://www.neon-project.org/). ...
doi:10.1007/978-3-540-88737-9_7
fatcat:iffov4t22bggbbci5rnw3h3ycy
Multiple Revision in Description Logics
2019
International Web Rule Symposium
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 2021; you can also visit the original URL.
The file type is application/pdf.
Thus, the purpose of this research plan is to define how to operate a multiple revision and, more specifically, how to do this in non-classical logics. ...
There may be two approaches to this operation: to accomodate the whole new set of beliefs or to incorporate only a subset of it. ...
especially in Description Logics. ...
dblp:conf/ruleml/Resina19
fatcat:m4dooltqcnafhd5sx5amdfmvby
Page 1453 of Mathematical Reviews Vol. , Issue 2000b
[page]
2000
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.
., shows description logic as a special case of first-order logic with a non-standard syntax leading to new in- ference methods and important complexity results. ...
This article con- tains a statement of these problems and a survey of some of the most interesting approaches that have been suggested to overcome them.”
2000b:68217 68T27 03B42 03B70 Ramanujam, R. (6- ...
Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences
2017
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 2018; you can also visit the original URL.
The file type is application/pdf.
Tabia investigate different approaches for handling inconsistent knowledge bases in the description logic DL-Lite when the ABox is prioritized and inconsistent with the TBox. ...
Important examples are fuzzy and probabilistic approaches for description logics, or rule systems for handling vagueness and uncertainty in the Semantic Web, or formalisms for handling user preferences ...
First approaches for reasoning in fuzzy description logics (FDLs) were based either on a reduction to reasoning in classical description logics (DLs) or on adaptations of reasoning approaches for DLs to ...
doi:10.1007/s13218-016-0479-z
fatcat:rdduceqyzzatljzzbmlo2vhjty
Page 2076 of Mathematical Reviews Vol. , Issue 98D
[page]
1998
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.
to unification in grammar: a brief survey (245-280). ...
In our approach, a default theory is initially given as a
set of strict and defeasible rules. ...
Page 4088 of Mathematical Reviews Vol. , Issue 2004e
[page]
2004
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.
In this article, we survey the state of the art in developing logical theories of rational agency. ...
Following a discussion of the dimensions along which such theories can vary, we briefly survey the logical tools available in order to construct such theories. ...
Page 10 of Language Sciences Vol. , Issue 40
[page]
1976
Language Sciences
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Revised in 1964d; revised, expanded, and retitled “Current Issues in Linguistic Theory” in 1964f; further revised and expanded in 1964a.
1962d A Transformational Approach to Syntax. ...
A study of the three components of a grammar, and a defense of the transformational approach as the most adequate for the study of natural languages. Expanded version of 1962c.
Formal Discussion. ...
Findings from a novel approach to publication guideline revision: user road testing of a draft version of SQUIRE 2.0
2015
BMJ Quality and Safety
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 adopted a novel approach to the revision by asking end-users to 'road test' a draft version of SQUIRE 2.0. ...
DISCUSSION In a novel approach to publication guideline revision, 44 people road tested a draft version of the SQUIRE Guidelines (called SQUIRE 1.6) and answered survey questions designed to assess the ...
doi:10.1136/bmjqs-2015-004117
pmid:26263916
pmcid:PMC4819644
fatcat:44yagtq6zzckfkhs3dll24iwza
Page 39 of Mathematical Reviews Vol. , Issue 97A
[page]
1997
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.
We also present some descriptive statistics for comparison with earlier active-logic approaches.” ...
Girard entitled “Linear Logic: its syntax and semantics” [MR 96h:03095] appears on pp. 1-42 of a recent book of state-of-the-art surveys in several key areas of linear logic [Advances in linear logic ( ...
Page 404 of Linguistics and Language Behavior Abstracts: LLBA Vol. 26, Issue 1
[page]
1992
Linguistics and Language Behavior Abstracts: LLBA
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
subject index
A Theory of Narrative reviews/critiques survey /rebuttal; 9201181 Literary Translation African English-/ French-language literature, special translation prob- lems; 9200804 Bible translation ...
Campsall’s 14th century logic, theory shift;
cataphoric reference truth conditions calculation, discourse representa- tion theory extension; 9201154
definite descriptions treatment approaches, axiom reaction ...
Introducing Computer Science to High School Students through Logic Programming
[article]
2018
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 2020; you can also visit the original URL.
The file type is application/pdf.
This paper is under consideration in Theory and Practice of Logic Programming (TPLP). ...
This paper investigates how high school students in an introductory computer science course approach computing in the Logic Programming (LP) paradigm. ...
We thank the anonymous reviewers whose feedback helps to improve the quality of this paper. ...
arXiv:1808.03274v1
fatcat:2m3mytgrdzht5ogvaazidty6am
Ref-Finder
2010
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10
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.
type in terms of template logic queries and uses a logic programming engine to infer concrete refactoring instances. ...
This paper presents a Ref-Finder Eclipse plug-in that automatically identifies both atomic and composite refactorings using a template-based refactoring reconstruction approach-it expresses each refactoring ...
Inspired by the prior work on logic-based program representation approaches [6] , we described the structural constraints before and after applying a refactoring to a program in terms of template logic ...
doi:10.1145/1882291.1882353
dblp:conf/sigsoft/KimGLR10
fatcat:had6hvm65fcsnfryr7sv6jvcjm
Abduction Aiming at Empirical Progress or Even Truth Approximation: A Challenge for Computational Modelling
[chapter]
2019
Nomic Truth Approximation Revisited
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 paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the 'comparative evaluation matrix'. ...
It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible ...
The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the 'comparative evaluation matrix'. ...
doi:10.1007/978-3-319-98388-2_10
fatcat:xgzrqrhtrja3nfwt7zxefadqai
Page 6459 of Mathematical Reviews Vol. , Issue 2004h
[page]
2004
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.
The limitations of the revised approach are discussed and a test for the uniqueness of the ME-solution is given. ...
Summary: “The purpose of this survey is twofold: (1) to place some central themes of epistemic logic in a general epistemologi- cal context, and (2) to outline a new framework for epistemic logic
2004h ...
Logic Programming for an Introductory Computer Science Course for High School Students
[article]
2017
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 2020; you can also visit the original URL.
The file type is application/pdf.
This paper investigates how high school students approach computing through an introductory computer science course situated in the Logic Programming (LP) paradigm. ...
This study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills, and presents a case for LP as a viable paradigm choice for introductory ...
Survey Results Survey responses were transcribed and were analyzed by the researchers using an inductive coding approach. The main unit of analysis was a sentence. ...
arXiv:1706.09248v1
fatcat:afhxoyc7mve7bfrtki6n33gs3y
« Previous
Showing results 1 — 15 out of 129,190 results