Filters








180,121 Hits in 8.5 sec

An ontology for software component matching

Claus Pahl
<span title="2006-07-05">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  We use description logics, which underlie Semantic Web ontology languages such as OWL, to develop an ontology for matching requested and provided components.  ...  The tractability of reasoning is a central issue for description logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-006-0015-9">doi:10.1007/s10009-006-0015-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/geg77qtxe5gjpl3exy7capipwa">fatcat:geg77qtxe5gjpl3exy7capipwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705062955/http://doras.dcu.ie/16144/1/An_Ontology_for_Software_Component_Matching.pdf?origin%3Dpublication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/25/65250b2607fa9f9ca6110d59f6ef06c65eaf0ef0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-006-0015-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Ontology for Software Component Matching [chapter]

Claus Pahl
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  We use description logics, which underlie Semantic Web ontology languages such as OWL, to develop an ontology for matching requested and provided components.  ...  The tractability of reasoning is a central issue for description logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36578-8_2">doi:10.1007/3-540-36578-8_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y76dd7kzoze27m2odoklszpss4">fatcat:y76dd7kzoze27m2odoklszpss4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705062955/http://doras.dcu.ie/16144/1/An_Ontology_for_Software_Component_Matching.pdf?origin%3Dpublication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/25/65250b2607fa9f9ca6110d59f6ef06c65eaf0ef0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36578-8_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Guest Editors' Introduction

James Delgrande, Jérôme Lang
<span title="2014-09-18">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ankkynzqs5dqbo4lk5zcpua7rq" style="color: black;">Journal of Philosophical Logic</a> </i> &nbsp;
This latter special issue covered work addressing the use of logic, in one form or another, for representing and reasoning with knowledge.  ...  The papers of the 1988 special issue give a good indication of major themes of research at the time: reasoning about belief and knowledge [5] , tractable logical reasoning [10], nonmonotonicity [11] ,  ...  The papers in this collection involve a wide range of areas in KR, including description logic, plausible reasoning, reasoning about action, nonmonotonic reasoning, qualitative reasoning, and reasoning  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10992-014-9330-x">doi:10.1007/s10992-014-9330-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/crhqiaxwhrcmhmq6ogeblp6vtm">fatcat:crhqiaxwhrcmhmq6ogeblp6vtm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727121604/https://link.springer.com/content/pdf/10.1007%2Fs10992-014-9330-x.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/9e/039e4ba61830ef3739bf9b4f4e400ada4ff7be72.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10992-014-9330-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Bayesian Network for Uncertainty Representation in Semantic Web: A Survey

Kumar Ravi, Sheopujan Singh
<span title="2013-09-01">2013</span> <i title="Association of Technology and Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lhvdmzuqxreinc3m4ancngr4qi" style="color: black;">International Journal of Computer Applications Technology and Research</a> </i> &nbsp;
This paper aims at giving an overall view, the work carried out so far to represent uncertainty with the help of Bayesian Network in semantic web and a list of works done using MEBN/PR-OWL for knowledge  ...  Bayesian network is a probabilistic model to represent uncertainty available in knowledge base and using it tremendous works have been done to prove its relevance in uncertainty representation and reasoning  ...  Description logic is a subset of first order logic (FOL) to create a knowledge base.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7753/ijcatr0205.1006">doi:10.7753/ijcatr0205.1006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x3gqylqk3va6zkykrtryqe2gaa">fatcat:x3gqylqk3va6zkykrtryqe2gaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180603085744/http://www.ijcat.com/archives/volume2/issue5/ijcatr02051006.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/19/bf19a481471257ae4b0cc7724cea646d917cfc95.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7753/ijcatr0205.1006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Computational Logic Application Framework for Service Discovery and Contracting

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
<span title="">2011</span> <i title="IGI Global"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lgub6o4ehvcojfv6vkygizg4ky" style="color: black;">International Journal of Web Services Research</a> </i> &nbsp;
In particular, the authors accommodate service discovery by ontology-based reasoning and contracting by reasoning about behavioural interfaces, published in a formal language.  ...  In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with  ...  A user starts the process with a request, composed of a description of the functionality she is looking for, together with her own behavioural interfaces.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4018/jwsr.2011070101">doi:10.4018/jwsr.2011070101</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w6txv2hxcnhlpgfnjix6kawyqi">fatcat:w6txv2hxcnhlpgfnjix6kawyqi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151001043822/http://www.inf.unibz.it/~montali/papers/alberti-etal-JWSR2011-discovery.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d5/3d/d53dd482d72878d5e56abb905983587598ed2b49.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4018/jwsr.2011070101"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modelling of Route Choice Behaviour using Knowledge Based Techniques

Takamasa Akiyama
<span title="">1993</span> <i title="Japan Society of Civil Engineers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dp62esw32ra5dctjr2fx4lunpu" style="color: black;">INFRASTRUCTURE PLANNING REVIEW</a> </i> &nbsp;
The advantages and disadvantages of them are discussed from the comparison with logit modelling as a standard method for solving the problem.  ...  Finally, a combined model between FL and NN can be proposed to develop these methods in terms of accurate estimation and precise description of human travel behaviour.  ...  The advantages and disadvantages of them are discussed from the comparison with logit modelling as a standard method for solving the problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2208/journalip.11.65">doi:10.2208/journalip.11.65</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dqmafbukeva3tlvfj6lpshxu4a">fatcat:dqmafbukeva3tlvfj6lpshxu4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181101085611/https://www.jstage.jst.go.jp/article/journalip1984/11/0/11_0_65/_pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/94/d294837fa70887d7f57324972b4b096d33c8be41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2208/journalip.11.65"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Non-procedural logic programming [chapter]

Seppo Keronen
<span title="">1994</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a logic programming language where both problem domain and computational knowledge are expressed in logic.  ...  A logic program in this language consists of an object-program and a number of meta-programs. The object program, a collection of formulae, is a description of the problem domain of interest.  ...  -A problem domain description may be combined with various search strategies, input/output behaviours etc. without modifying the description.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-58025-5_56">doi:10.1007/3-540-58025-5_56</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oybhxag6nzcqpdtyhredfsyzse">fatcat:oybhxag6nzcqpdtyhredfsyzse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724112621/https://link.springer.com/content/pdf/10.1007%2F3-540-58025-5_56.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/f4/4bf4e6aca9f9e690ccd8770a110fa1b2dfc0e285.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-58025-5_56"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 7295 of Mathematical Reviews Vol. , Issue 98K [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
) actions and actually observed behaviour, respectively, without requiring that the actually observed behaviour of a domain of actions be consistent with its predicted behaviour.  ...  The aim of this paper is to obtain interesting new results in an important framework for reasoning about change, namely theory update, involving a change of knowledge or belief in a changing world.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-11_98k/page/7295" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-11_98k/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Artificial intelligence support in design: A survey [chapter]

József Váncza
<span title="">1999</span> <i title="Springer Netherlands"> Integration of Process Knowledge into Design Support Systems </i> &nbsp;
Logic, however, provides still the best means for representing design objects and knowledge about them.  ...  The paper argues the point that thanks to a recent shift of emphasis from logic based to autonomous, rational and interactive models of intelligent behaviour, artificial intelligence can now support engineering  ...  Description logic supports strict inheritance reasoning without exceptions and defaults. In this sense it is in sharp contrast to non-monotonic reasoners.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-017-1901-8_3">doi:10.1007/978-94-017-1901-8_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o5sbseb5xjcw5mp4yljmhddl3y">fatcat:o5sbseb5xjcw5mp4yljmhddl3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20010614224752/http://www.sztaki.hu:80/~vancza/papers/AIsurvey1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/7f/d87fbf9466d2b6d08763924def32e4f144ffa994.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-017-1901-8_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Using Semantic Web Technology for Self-Management of Distributed Object-Oriented Systems

A.R. Haydarlou, M.A. Oey, B.J. Overeinder, F.M.T. Brazier
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3p37zxdckrfqna7l5w5hlafps4" style="color: black;">2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI&#39;06)</a> </i> &nbsp;
A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary.  ...  A model for self-management knowledge and a simplified version of a real-life use case are used to illustrate the potential. * This research is supported by the NLnet Foundation, http://www.nlnet.nl, and  ...  Therefore, there is a need for a rule language that supports multilevel reasoning with distributed knowledge.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wi.2006.184">doi:10.1109/wi.2006.184</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/webi/HaydarlouOOB06.html">dblp:conf/webi/HaydarlouOOB06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sygct4cfqfdghbsjrivuhikyp4">fatcat:sygct4cfqfdghbsjrivuhikyp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170816153348/http://dare.ubvu.vu.nl/bitstream/handle/1871/11250/wi06.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/19/091910b1529fead2963298c8524393b1c50eb648.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wi.2006.184"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
<span title="">2007</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gm6q54qw4jf5nj2lkrr2jruol4" style="color: black;">Computational intelligence</a> </i> &nbsp;
Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation.  ...  Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied.  ...  Model checking essentially requires a finite-state description of the possible behaviours of the system, together with a property to be checked.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1111/j.1467-8640.2007.00295.x">doi:10.1111/j.1467-8640.2007.00295.x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c76gbfuuwngjpk7ebs2jkpfxfi">fatcat:c76gbfuuwngjpk7ebs2jkpfxfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070824050436/http://www.csc.liv.ac.uk/~michael/compint07prepub.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/b8/e9b8ba874419cb004b60c999ba71d1224a3b9ce7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1111/j.1467-8640.2007.00295.x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Traffic Rules Encoding Using Defeasible Deontic Logic [chapter]

Hanif Bhuiyan, Guido Governatori, Andy Bond, Sebastien Demmel, Mohammad Badiul Islam, Andry Rakotonirainy
<span title="2020-12-01">2020</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g4albir3gzbibgdotf5bxnbkxu" style="color: black;">Frontiers in Artificial Intelligence and Applications</a> </i> &nbsp;
Therefore, in this paper, we propose a Defeasible Deontic Logic (DDL) based driving behaviour assessment methodology for AVs.  ...  Automatically assessing driving behaviour against traffic rules is a challenging task for improving the safety of Automated Vehicles (AVs).  ...  Mapping and Reasoning in Turnip Turnip9 is a Defeasible Deontic Logic-based reasoning tool.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/faia200844">doi:10.3233/faia200844</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6iwv2pp4xzdovnsszfbuk5j22m">fatcat:6iwv2pp4xzdovnsszfbuk5j22m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210715184758/https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA200844" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/d7/6ed7d01930060bdfcd1bba3e0b40eca46869b434.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/faia200844"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A theory and implementation of cognitive mobile robots

G De Giacomo
<span title="1999-10-01">1999</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/crzmi3qeiramtlvcrfycib3qg4" style="color: black;">Journal of Logic and Computation</a> </i> &nbsp;
Specifically, we consider an epistemic extension of Description Logics to provide a new theoretical framework for the representation of dynamic systems, where the agent's reasoning is based on its knowledge  ...  From a practical viewpoint, we use a general purpose knowledge representation system based on Description Logics and its associated reasoning tools, in order to plan the actions of the mobile robot 'Tino  ...  Riccardo Rosati acknowledges Kurt Konolige and the AI Center of SRI International, Menlo Park, for the support provided during his visiting period.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/9.5.759">doi:10.1093/logcom/9.5.759</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/55lyrt75lzenfcvohgddngmrsa">fatcat:55lyrt75lzenfcvohgddngmrsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140910144904/http://www.dis.uniroma1.it/~degiacom/papers/1999/DINR99jlc.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/af/8daf5bd9cc2ab1dee221f6926a6fc58909b5e44c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/9.5.759"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

High-level declarative user interfaces

Sofie Goderis, Theo D'Hondt
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA &#39;05</a> </i> &nbsp;
a low-level UI description to a higher-level description.  ...  Logic facts are used to write down data or knowledge, while rules are used to reason about these facts and derive new facts.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1094855.1094888">doi:10.1145/1094855.1094888</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/GoderisD05.html">dblp:conf/oopsla/GoderisD05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/44lfagj4pnhxpehmim2oiw7zt4">fatcat:44lfagj4pnhxpehmim2oiw7zt4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829070437/http://soft.vub.ac.be/Publications/2005/vub-prog-tr-05-27.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0e/39/0e39f40f8df64f3b17d9cc6f1f894b9f4d6e3273.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1094855.1094888"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v5fagqotxjcn3jsjkqi336dzse" style="color: black;">2009 IEEE International Conference on Web Services</a> </i> &nbsp;
the behavioural interfaces of both the participants, and producing as output a sort of a contract.  ...  To this purpose, we consider a formal approach grounded on Computational Logic, and Abductive Logic Programming in particular.  ...  Interfacing SCIFF and ontological reasoners A possible approach to let SCIFF access ontological knowledge is to exploit the common root of logic programming and description logics in first order logic,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2009.78">doi:10.1109/icws.2009.78</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icws/AlbertiCCGLMMT09.html">dblp:conf/icws/AlbertiCCGLMMT09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ctpqahbmafe4zcxnk6xcjuqrj4">fatcat:ctpqahbmafe4zcxnk6xcjuqrj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150930142055/http://www.inf.unibz.it/~montali/papers/alberti-etal-ICWS2009-contracting.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/7d/a37da70ca513bdb7c8d7dbc70e09c70490f21179.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2009.78"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 180,121 results