Search Sciweavers | Sciweavers

2540 search results - page 26 / 508

» Abstract Logics as Dialgebras

click to vote

AAAI
2004

111views Intelligent Agents» more AAAI 2004»

Logic Programs with Abstract Constraint Atoms

13 years 11 months ago

Download www.aaai.org

We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...

Victor W. Marek, Miroslaw Truszczynski

claim paper

Read More »

click to vote

IWANN
2009
Springer

148views Neural Networks» more IWANN 2009»

Fuzzy Logic, Soft Computing, and Applications

14 years 4 months ago

Download sevein.matap.uma.es

We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Speciﬁcally, we brieﬂy review the history and main milestones of fuzzy ...

Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Acieg...

claim paper

Read More »

click to vote

ELP
1989

84views Logical Reasoning» more ELP 1989»

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

14 years 2 months ago

Download www.lix.polytechnique.fr

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...

Dale Miller

claim paper

Read More »

click to vote

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

14 years 2 months ago