Sciweavers

3624 search results - page 592 / 725
» Abstract Algebraic Logic
Sort
View
CORR
2002
Springer
115views Education» more  CORR 2002»
15 years 5 months ago
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
Yves Moinard
CORR
2002
Springer
81views Education» more  CORR 2002»
15 years 5 months ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint
JANCL
2000
67views more  JANCL 2000»
15 years 5 months ago
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
Joeri Engelfriet, Jan Treur
TEC
2002
94views more  TEC 2002»
15 years 5 months ago
Knowledge-intensive genetic discovery in foreign exchange markets
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
Siddhartha Bhattacharyya, Olivier V. Pictet, Gille...
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 4 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch