Results 71 to 80 of about 3,597,563 (258)
Clausal Resolution for Modal Logics of Confluence [PDF]
, 2014 We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such logics.
Nalon, C., Marcos, J., Dixon, C.
openaire +4 more sources
Logic-Based Conflict Analysis and Resolution [PDF]
, 2021 <p>The aim of this thesis is to explore the extent to which formal logic can be applied to the topic of conflict analysis and conflict resolution. It is motivated by the idea that conflicts can be understood as inconsistent sets of goals, beliefs, norms, emotions, or the like. To achieve this aim, two formal frameworks are presented.
openaire +1 more source
Formal Concept Analysis and Resolution in Algebraic Domains
, 2003 We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show
Hitzler, Pascal, Wendt, Matthias
core +6 more sources
Resolution theorem proving in reified modal logics
Journal of Automated Reasoning, 1994 Non-classical logical systems are usually defined axiomatically. Set of axioms together with inference rules and rules of necessitation define a particular logic. An alternative approach is to define the semantics of the modal or temporal logic in first-order logic. This is known as the reified approach.
Aitken, J. +2 more
openaire +3 more sources
Comparison of three modelling approaches of potential natural forest habitats in Bavaria, Germany [PDF]
, 2005 In the context of the EU Habitats Directive, which contains the obligation of environmental monitoring, nature conservation authorities face a growing demand for effective and competitive methods to survey protected habitats.
Förster, Michael +2 more
core
Structural Resolution for Logic Programming
, 2015 in ICLP 2015 Technical ...
Johann, Patricia +2 more
openaire +2 more sources
Very High Resolution Satellite Image Classification Using Fuzzy Rule-Based Systems
Algorithms, 2013 The aim of this research is to present a detailed step-by-step method for classification of very high resolution urban satellite images (VHRSI) into specific classes such as road, building, vegetation, etc., using fuzzy logic. In this study, object-based
Yun Zhang, Shabnam Jabari
doaj +1 more source
First-Order Resolution Methods for Modal Logics [PDF]
, 2013 In this paper we give an overview of results for modal logic which can be shown using techniques and methods from first-order logic and resolution. Because of the breadth of the area and the many applications we focus on the use of first-order resolution methods for modal logics.
Schmidt, Renate A., Hustadt, Ullrich
openaire +2 more sources
International Journal of Advanced Robotic Systems, 2019 This article presents an approach for assessing contingency resolution strategies using temporal logic. We present a framework for nominal mission modeling, then specifying contingency resolution strategies and evaluating their effectiveness for the ...
Shaurya Shriyam, Satyandra K Gupta
doaj +1 more source
Agronomía Colombiana, 2014 The aim of this paper is to illustrate the use of digital elevation models (DEM) to calculate relief parameters and include them in suitability studies of land for mango crops in Colombia.
Oscar Javier Munar-Vivas +1 more
doaj +1 more source