Search Sciweavers | Sciweavers

1105 search results - page 65 / 221

» Fuzzy logics as the logics of chains

click to vote

SMALLTALK
2007
Springer

109views Programming Languages» more SMALLTALK 2007»

Forward chaining in HALO: an implementation strategy for history-based logic pointcuts

14 years 3 months ago

Download soft.vub.ac.be

Charlotte Herzeel, Kris Gybels, Pascal Costanza, C...

claim paper

Read More »

click to vote

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

Basic Forward Chaining Construction for Logic Programs

14 years 1 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

click to vote

ATAL
2008
Springer

188views Intelligent Agents» more ATAL 2008»

A temporal logic for Markov chains

13 years 11 months ago

Download www.aamas-conference.org

Wojciech Jamroga

claim paper

Read More »

click to vote

APAL
1999

55views more APAL 1999»

Logic Programs, Well-Orderings, and Forward Chaining

13 years 8 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

click to vote

FPL
2010
Springer

85views Hardware» more FPL 2010»

Enhancing FPGA Device Capabilities by the Automatic Logic Mapping to Additive Carry Chains

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers