Sciweavers

1373 search results - page 170 / 275
» What is Fuzzy Logic
Sort
View
117
Voted
FPCA
1995
15 years 4 months ago
The Functional Side of Logic Programming
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
Massimo Marchiori
JURIX
2008
15 years 2 months ago
About the logical relations between cases and rules
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
Bart Verheij
104
Voted
IANDC
2010
91views more  IANDC 2010»
14 years 11 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva
LOGCOM
2010
87views more  LOGCOM 2010»
14 years 11 months ago
Exemplaric Expressivity of Modal Logics
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
Bart Jacobs, Ana Sokolova
87
Voted
SLOGICA
2010
97views more  SLOGICA 2010»
14 years 11 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher