Results 221 to 230 of about 24,289 (266)

A Hybrid Logic for Commonsense Spatial Reasoning

2005
The current technological trend depicts a scenario in which space, and more generally the environment in which the computation takes place, represents a key aspect that must be considered in order to improve systems' context awareness, even if the kind of information processed is not only of spatial nature.
Stefania Bandini, Alessandro Mosca 0001, Matteo Palmonari   +2 more
openaire   +1 more source

A hybrid reasoning system with diagrams and sentences

Proceeding 2000 IEEE International Symposium on Visual Languages, 2002
Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a hybrid reasoning system with diagrams and sentences, called JVenn, having perspicuity ...
Hajime Sawamura, Kensuke Kiyozuka
openaire   +1 more source

Hybrid Reasoning with FUZZYNEX

1994
FUZZYNEX is an extension of Nexpert Object to make fuzzy inference available. The knowledge is completely represented within Nexpert Object, no access on external files is done during inference. FUZZYNEX allows the construction of hybrid knowledge-based systems by combination of fuzzy and crisp reasoning.
Sascha Dierkes, Bernd Reusch, Karl-Heinz Temme   +2 more
openaire   +1 more source

Assume-Guarantee Reasoning for Additive Hybrid Behaviour

2023
Hybrid Automata describe dynamical systems where continuous behaviour interacts with discrete events. Resource Timed Automata (RTA), a subset of Hybrid Automata, adopt an additive composition scheme, in which discrete behaviour of components is executed concurrently, time is synchronized, and the evolution of continuous variables is arithmetically ...
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen   +2 more
openaire   +4 more sources

Hybrid Reasoning on a Bipolar Argumentation Framework

2019
We develop a method of reasoning using an incrementally constructed bipolar argumentation framework (BAF) aiming to apply computational argumentation to legal reasoning. A BAF that explains the judgment of a certain case is constructed based on the user’s knowledge and recognition.
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi 0001   +2 more
openaire   +1 more source

Hybrid temporal reasoning for planning and scheduling

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96), 2002
This paper address the problem of representing heterogeneous temporal information in a uniform framework. Metric information relative to intervals is combined with qualitative information in a homogeneous representation based on a temporal constraint network. We illustrate the properties of the new sub-algebra called IDSA (Interval-Distance Sub-Algebra)
Silvana Badaloni, Marina Berati
openaire   +1 more source

Counterfactuals and Hybrid Reasoning in an Ontolog

2008
In this paper, we present a formal legal cybercrime ontology using concrete tools. The purpose is to show how law articles and legal cases could be formally defined so that the problem of case resolution is reduced to a classification problem as long as cases are seen as subclasses of articles. Secondly, we show how counterfactual reasoning may be held
openaire   +1 more source

Towards hybrid spatial reasoning

1997
In this paper, we present an approach to hybrid spatial reasoning, i.e., combining qualitative and quantitative reasoning about space. The idea is to introduce linguistic variables for qualitative spatial reasoning and to associate these variables with fuzzy sets for quantitative spatial reasoning.
openaire   +1 more source

Hybrid reasoning using universal attachment

Artificial Intelligence, 1994
The universal attachments introduced in this paper draw connections from expressions in a first-order language to programs and data structures that can be used to simplify those expressions. Universal attachment improves on previous attachment methods by providing a broader range of links between general-purpose deduction and specialized representation
openaire   +2 more sources

Hybrid Reasoning for Web Services Discovery

2012
This paper describes a novel approach for discovering web services. The approach combines two logic-based formalisms and two reasoning engines and is illustrated in using a set of web services dedicated to web information extraction. The approach exhibits more or less complex relationships between services: (1) a service may have one or many variants ...
Mohamed Quafafou, Omar Boucelma, Yacine Sam, Zahi Jarir   +3 more
openaire   +1 more source