182,038 Hits in 7.1 sec

Description Logics, Rules and Multi-context Systems [chapter]

Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
2013 Lecture Notes in Computer Science  
As an application, we show how a set of design patterns for multi-context systems can be obtained from previous work on Mdl-programs.  ...  In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs  ...  Acknowledgments The authors wish to thank Graça Gaspar for the fruitful discussions and her insightful comments on a first version of the manuscript.  ... 
doi:10.1007/978-3-642-45221-5_18 fatcat:2l3cdgc4erep7bct62y4bodkxe

MKNF Knowledge Bases in Multi-Context Systems [chapter]

Martin Homola, Matthias Knorr, João Leite, Martin Slota
2012 Lecture Notes in Computer Science  
Multi-Context Systems provide an effective and modular way to integrate knowledge from different heterogeneous sources (contexts) through so-called bridge rules.  ...  Hybrid MKNF Knowledge Bases, based on the logic of minimal knowledge and negation as failure (MKNF), allow for a seamless combination of description logic ontology languages with non-monotonic logic programming  ...  The remainder of this paper is structured as follows: in Sect. 2, we review Description Logics, Logic Programs, Multi-Context Systems, and MKNF Knowledge Bases.  ... 
doi:10.1007/978-3-642-32897-8_11 fatcat:mmu7inqpobdidhf2wzdp72lesa

Multi-Context Reasoning in Continuous Data-Flow Environments

Stefan Ellmauthaler
2018 Künstliche Intelligenz  
We will introduce and discuss reactive Multi-Context Systems, which allow one to utilise different knowledge representation formalisms, so-called contexts which are represented as an abstract logic framework  ...  can be used to capture the asynchronous ideas and how to model a reactive Multi-Context System with it.  ...  Answer Set Programs, Argumentation Systems, Description Logic Bases, First Order Reasoner,. . . ).  ... 
doi:10.1007/s13218-018-00570-1 fatcat:sx5u3f5t55dwvecab7n72wmusi

Advancing Multi-Context Systems by Inconsistency Management [article]

Antonius Weinzierl
2011 arXiv   pre-print
Multi-Context Systems are an expressive formalism to model (possibly) non-monotonic information exchange between heterogeneous knowledge bases.  ...  way: How to identify and explain a inconsistency that spreads over multiple knowledge bases with different logical formalisms (e.g., logic programs and ontologies)?  ...  Acknowledgements I am very grateful to my advisor Thomas Eiter, the principal investigator of our research project Michael Fink, and my colleague Peter Schüller who provided guidance, and helped with many  ... 
arXiv:1107.2088v1 fatcat:jovpp5qumrg6vp6zy5r5nxlebe


Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 Computational intelligence  
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.  ...  As we move from systems where we need to know what the system does, to those where we need to know why it did something, we believe that logical approaches to the control and analysis of complex systems  ... 
doi:10.1111/j.1467-8640.2007.00295.x fatcat:c76gbfuuwngjpk7ebs2jkpfxfi

Information Flow within Relational Multi-context Systems [chapter]

Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2014 Lecture Notes in Computer Science  
Multi-context systems (MCSs) are an important framework for heterogeneous combinations of systems within the Semantic Web.  ...  In this paper, we propose generic constructions to achieve specific forms of interaction in a principled way, and systematize some useful techniques to work with ontologies within an MCS.  ...  In context C i we want to define a predicate p from other predicates by means of a logic program. Solution.  ... 
doi:10.1007/978-3-319-13704-9_8 fatcat:iygelc365bagngjv3lzwikkcvi

Scenario-Based Modeling of Multi-Agent Systems [chapter]

Armin Stranjak, Igor Cavrak, Mario Zagar
2011 Multi-Agent Systems - Modeling, Interactions, Simulations and Case Studies  
Conformance to the given role is guaranteed by generated program code from the description and must not be modified by an agent developer.  ...  In this paper, we introduce a SDLMAS language for scenario description in multi-agent systems.  ... 
doi:10.5772/15671 fatcat:lxupbc3ekjhvdkqoz6l6ok3czu

Articles Transmit / Received Beamforming for Frequency Diverse Array with Symmetrical frequency offsets Shaddrack Yaw Nusenu Adv. Sci. Technol. Eng. Syst. J. 2(3), 1-6 (2017); View Description Detailed Analysis of Amplitude and Slope Diffraction Coefficients for knife-edge structure in S-UTD-CH Model Eray Arik, Mehmet Baris Tabakcioglu Adv. Sci. Technol. Eng. Syst. J. 2(3), 7-11 (2017); View Description Applications of Case Based Organizational Memory Supported by the PAbMM Architecture Martín, María de los ...

Jith Sarker, Abu Shami Md. Zadid Shifat, Rezoan Ahmed Shuvro
2017 Advances in Science, Technology and Engineering Systems  
Graphene based devices demand to be deliberated as a possible option for post Si based fabrication technology.  ...  Variation of effective mobility and minimum carrier density with respect to channel length has also been observed.  ...  Although our works is in embryonic stage, in comparison to others, we can strongly recommend G-MOSFET as a promising candidate for post Si era.  ... 
doi:10.25046/aj0203177 fatcat:qhd2rteuajdqzo77fq74ixwevu

Forthcoming Papers

2002 Journal of Logic and Computation  
We propose a general method of specifying logic-based agents, which is based on the use of multi-context systems, and give examples of its use.  ...  Wobcke We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level plans from a set of descriptions  ...  Engineering Executable Agents using Multi-context Systems J. Sabater, C. Sierra, S. Parsons and N. R.  ... 
doi:10.1093/logcom/12.2.343 fatcat:zwwbtjctevf2dcwnzt7dx2u4ey

Towards the Extraction of Variability Information to Assist Variability Modelling of Complex Product Lines

Jessie Carbonnel, Marianne Huchard, Clémentine Nebut
2018 Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS 2018  
The extractive adoption of a product line from a set of individually developed softwares requires to extract variability information from a collection of software descriptions to model their variability  ...  In this paper, we propose research directions to address the issue of extracting more complex variability information, as a part of extended feature models synthesis from software descriptions.  ...  This complexity may arise from the size of the software systems, or from the types of information that have to be represented to model them.  ... 
doi:10.1145/3168365.3168378 dblp:conf/vamos/CarbonnelHN18 fatcat:by3v75ype5euvklkfz5ipjacpi

A Multi-Context System Computing Modalities

Tarek Richard Besold, Bernhard Schiemann
2010 International Workshop on Description Logics  
The system description presents the conception and a prototypical implementation of a multi-context system, used for computing and implementing temporal modalities within given data without the use of  ...  Instead, an external constraint based rule system is used for computing the corresponding temporal relations, making use of the way a multi-context system works for transporting the needed information  ...  Acknowledgements We want to thank G. Goerz, S. Mandl and M.  ... 
dblp:conf/dlog/BesoldS10 fatcat:eqp4vjmwsfd4povwz3gp6uz74a

From LSAT: The Progress and Challenges of Complex Reasoning [article]

Siyuan Wang, Zhongkun Liu, Wanjun Zhong, Ming Zhou, Zhongyu Wei, Zhumin Chen, Nan Duan
2021 arXiv   pre-print
We propose a hybrid reasoning system to integrate these three tasks and achieve impressive overall performance on the LSAT tests.  ...  The experimental results demonstrate that our system endows itself a certain complex reasoning ability, especially the fundamental reading comprehension and challenging logical reasoning capacities.  ...  To do this, we inherit the executor from § IV-B3 and § IV-B4. We first execute programs from the context to obtain legitimate assignments.  ... 
arXiv:2108.00648v1 fatcat:q6oy5rzbs5dcfc2cdkrslhmmpi

Where logic and agents meet

Jürgen Dix, Michael Fisher
2011 Annals of Mathematics and Artificial Intelligence  
Multi agent systems have been invented 20 years ago and the theory has matured in the last two decades.  ...  Logic has and still is playing a prominent part in the basic foundations of agency and also in the development of agent programming languages, the specification and verification of agent systems.  ...  In this article we provide a short, and very subjective, description of how mathematical techniques, primarily those from logical foundations, have been used in multi-agent systems.  ... 
doi:10.1007/s10472-010-9223-9 fatcat:njcozmml2zbfripdq7xls4msum

Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms

Hafiz Mahfooz Ul Haque, Sajid Ullah, Ibrar Hussain
2019 International Journal of Advanced Computer Science and Applications  
We propose theoretical as well as practical approaches to transform semantic knowledge into firstorder Horn-clause rules format which can be used by contextaware multi-agent systems to achieve their desired  ...  This paper presents the semantic knowledge transformation techniques for ontology-driven context-aware formalisms to model heterogeneous systems.  ...  Description Logic program (DLP) acts as an intermediary knowledge representation mechanism between description logic (DL) and logic programming [28] .  ... 
doi:10.14569/ijacsa.2019.0101285 fatcat:qfjemwjrg5deflvc7jvghr3vca

Real time complex event detection for resource-limited multimedia sensor networks

Fadi Al Machot, Kyandoghere Kyamakya, Bernhard Dieber, Bernhard Rinner
2011 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS)  
We underline the major problems of the existing paradigms for complex event detection (based on e.g. logic programming and Semantic Web), with a special focus on the major challenges which reduce the performance  ...  A comprehensive solution based on Answer Set Programming (ASP) is developed.  ...  (logic programming and context modeling).  ... 
doi:10.1109/avss.2011.6027378 dblp:conf/avss/MachotKDR11 fatcat:hhbtwpte4jbj7madtwd2hitrku
« Previous Showing results 1 — 15 out of 182,038 results