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
AGENT LANGUAGES, VISUAL VIRTUAL TREES, AND MODELS
2013
International Electronic Journal of Pure and Applied Mathematics
Preserved Fulltext
By a virtual tree we mean a term made up of constant symbols and named but not always prespecified Skolem function terms. ...
In virtual planning with generic diagrams that part of the plan that involves free Skolemized trees is carried along with the proof tree for a plan goal. ...
Acknowledgments Acknowledgement of support (Frau Ina Lauth, Lauth transmedia GmbH, Munich, colleague Prof. Oliver Schulte, SFU, Burnaby). ...
doi:10.12732/iejpam.v6i3.1
fatcat:3itekjm6qjdstfrlgrpj5zzstq
Approximate databases: a support tool for approximate reasoning
2006
Journal of Applied Non-Classical Logics
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.
local closed world nonmonotonic queries in the form of crisp or approximate logical formulas can be evaluated tractably. ...
The implementation is based upon the use of a standard SQL database to store logical facts, augmented with several query interface layers implemented in JAVA through which extensional, intensional and ...
Acknowledgements This work is partially funded by the Wallenberg Foundation under the WITAS UAV Project, the NFFP03-539 COMPAS Project and the grant 3 T11C 023 29 of the Polish Ministry of Science and ...
doi:10.3166/jancl.16.87-117
fatcat:r3khefzkbzgyhjjxqcwnmuddtm
Page 6075 of Mathematical Reviews Vol. , Issue 2002H
[page]
2002
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.
Elementary CCSs are generated by reasoning modules that implement various simplifica- tion techniques defined for a large class of deduction mechanisms such as rewriting, conditional rewriting and resolution-based ...
Based on Applicative Common Lisp, ACL2 supports recursion and induction but has minimal support for quantifiers and does not support infinite objects or irrational numbers. ...
Declarative Rules for Annotated Expert Knowledge in Change Management
2016
Symposium on Languages, Applications and Technologies
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 2022; you can also visit the original URL.
The file type is application/pdf.
Deductive databases allow for declaratively defining the semantics of the expert knowledge with rules; the evaluation of the rules can be optimised and the inference mechanisms could be changed, since ...
As the logical syntax of rules had been a problem in previous applications of deductive databases, we use specially designed domainspecific languages to make the rule syntax easier for non-programmers. ...
Section 3 is about declarative rule bases; it introduces rules for change management and defines syntax, semantics, and evaluation using deductive databases and logic programming. ...
doi:10.4230/oasics.slate.2016.7
dblp:conf/slate/SeipelWANW16
fatcat:kkvkzquzlvdqfl2gsztezy3z5a
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic
2014
Electronical Notes in Theoretical 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.
We offer different interpretations of J-Calc, in particular, as a two phase proof system in which we proof check the validity of deductions of a theory T based on deductions from a stronger theory T and ...
In this paper we offer a system J-Calc that can be regarded as a typed λ-calculus for the {→, ⊥} fragment of Intuitionistic Justification Logic. ...
) the constructions of the intuitionistic natural deduction. ...
doi:10.1016/j.entcs.2013.12.012
fatcat:ujewefgfvneehgejalunq3zsqe
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies
2018
Computer languages, systems & structures
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.
Declarative if-then rules have proven very useful in many applications of expert systems. They can be managed in deductive databases and evaluated using the well-known forward-chaining approach. ...
by domain-experts, and evaluated, resulting in an extensible system for expert knowledge. ...
For the interested reader, we will give a summary of some relevant concepts for the semantics and the evaluation of deductive databases and logic programming in the appendix. ...
doi:10.1016/j.cl.2017.06.006
fatcat:htmoymfmfjex3jpwzolfdraira
Study protocol of a mixed-methods evaluation of a cluster randomized trial to improve the safety of NSAID and antiplatelet prescribing: data-driven quality improvement in primary care
2012
Trials
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.
design, implementation and interpretation of the other. ...
We believe it is good practice to pre-specify and publish process evaluation protocols to set standards and minimize bias. ...
For example, the data on the nature of review carried out is collected routinely in the DQIP informatics tool but lacks contextual information or much detail. ...
doi:10.1186/1745-6215-13-154
pmid:22929598
pmcid:PMC3502604
fatcat:kjxcejep5jfz7e33xqz57fvpru
A Framework for Hierarchical Perception–Action Learning Utilizing Fuzzy Reasoning
2013
IEEE Transactions on Cybernetics
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.
Thus, the separation of the Jacobian as a multiplying factor between levels within the objective function naturally enables the integration of abstract symbolic manipulation in the form of fuzzy deductive ...
We here set out a very general learning framework for cognitive systems in which online learning of the P-A mapping may be conducted within a symbolic processing context, so that complex contextual reasoning ...
We also acknowledge support from the Swedish Foundation for Strategic Research for the project CUAS (Collaborative Unmanned Aerial Systems), and from UK EPSRC grant EP/F069626/1 (ACASVA). ...
doi:10.1109/tsmcb.2012.2202109
pmid:22773046
fatcat:rbj4765rrvd5vj73lt43z5pmgy
Applying automated deduction to natural language understanding
2009
Journal of Applied Logic
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 model builder is used to check for satisfiability of the input; in addition, the produced finite and minimal models are used to determine the actions that the robot or automated house has to execute ...
Very few natural language understanding applications employ methods from automated deduction. ...
Introduction Since the mid 1990s I've been using tools from automated deduction, mainly general-purpose theorem provers and model builders for first-order logic, to solve problems in natural language understanding ...
doi:10.1016/j.jal.2007.07.008
fatcat:ex764s3wu5aspcwddr53o424pu
Book reports
1991
Computers and Mathematics with 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 2017; you can also visit the original URL.
The file type is application/pdf.
Failure and success made symmetric. 2. Algebraic properties of a class of logic programs. 3. Stationary semantics for disjunctive logic programs and deductive databases. Part II. Implementation I. 4. ...
Prolog and natural-language analysis: Into the third decade. Part XVI. Abstracts of advanced tutorials. 4(;. Parallel implementations of prolog. 47. Types for logic programs. 48. ...
doi:10.1016/0898-1221(91)90056-a
fatcat:orugqwgfgvdd5km6epzzee6urq
Enhancing context knowledge repositories with justifiable exceptions
2018
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.
Finally, we compare our approach with major non-monotonic formalisms for description logics and contextual knowledge representation. ...
In response to this need, in previous works, we presented the description logic-based Contextualized Knowledge Repository (CKR) framework. ...
an experimental evaluation to assess the translation and the query performance of the prototype over synthetic and real datasets, and to compare to with the current implementation of CKR based on SPARQL ...
doi:10.1016/j.artint.2017.12.005
fatcat:uhvwvnvgazendpjd3jyozi3dhe
The Bayesian Ontology Reasoner is BORN!
2015
International Workshop on OWL Reasoner Evaluation
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 2022; you can also visit the original URL.
The file type is application/pdf.
We present the system BORN that implements the probabilistic subsumption problem for BEL. ...
The Bayesian ontology language BEL is an extension of the lightweight Description Logic (DL) EL within the above-mentioned framework. ...
Our approach takes advantage of the simple logical structure of EL and implements the completion rules in ProbLog. ...
dblp:conf/ore/CeylanMP15
fatcat:eiwyf6lprzet3b5n5pag3wx6y4
Using a Realist Framework to Overcome Evaluation Challenges in the Uncertain Landscape of Carbon Finance
[chapter]
2022
Sustainable Development Goals Series
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 2022; you can also visit the original URL.
The file type is application/pdf.
and recommending a revised approach for future evaluations. ...
This chapter presents a practical approach to using realist evaluation to overcome the contextual uncertainties of the carbon market landscape, providing strengths and weaknesses of the approach applied ...
This qualitative coding would also support the capture of other contextual factors not previously identified by the evaluators, thus allowing for both a deductive and inductive approach to coding and developing ...
doi:10.1007/978-3-030-78853-7_9
fatcat:egoebz6i3jg3biuiig2x3rlt3y
The Holmesian logician: Sherlock Holmes' "Science of Deduction and Analysis" and the logic of discovery
2020
Synthese
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 examines whether Sherlock Holmes' "Science of Deduction and Analysis," as reconstructed by Hintikka and Hintikka (in: Eco U, Sebeok TA (eds) The sign of three: Peirce, Dupin, Holmes, Indiana ...
University Press, Bloomington, 1983), exemplifies a logic of discovery. ...
to the discussion of erotetic frameworks for discovery. ...
doi:10.1007/s11229-020-02709-w
fatcat:bdkrjehxsnaprfkffo3sif33ui
Semantics-Driven Remote Sensing Scene Understanding Framework for Grounded Spatio-Contextual Scene Descriptions
2021
ISPRS International Journal of Geo-Information
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.
The RSS-KGs are enriched both spatially and contextually, using a deductive reasoner, by mining for implicit spatio-contextual relationships between land-cover classes in the scenes. ...
The Sem-RSSU, at its core, constitutes novel Ontology-driven Spatio-Contextual Triple Aggregation and realization algorithms to transform KGs to render grounded natural language scene descriptions. ...
Acknowledgments: The authors are grateful to the Google Cloud Research Credits Program for providing the credits that enabled the use of GCP for training and validating the deep-learning models. ...
doi:10.3390/ijgi10010032
fatcat:warifoopejaqfglljmkbatjrke
« Previous
Showing results 1 — 15 out of 14,470 results