Filters








129,190 Hits in 4.7 sec

A Survey of Revision Approaches in Description Logics [chapter]

Guilin Qi, Fangkai Yang
2008 Lecture Notes in Computer Science  
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

Fillipe Manoel Xavier Resina
2019 International Web Rule Symposium  
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  
., 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

Gabriele Kern-Isberner, Thomas Lukasiewicz
2017 Künstliche Intelligenz  
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  
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  
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  
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

Louise Davies, Kyla Z Donnelly, Daisy J Goodman, Greg Ogrinc
2015 BMJ Quality and Safety  
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  
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  
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]

Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang
2018 arXiv   pre-print
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

Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit
2010 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10  
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]

Theo A. F. Kuipers
2019 Nomic Truth Approximation Revisited  
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  
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]

Timothy Yuen, Maritz Reyes, Yuanlin Zhang
2017 arXiv   pre-print
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