Search Sciweavers | Sciweavers

1105 search results - page 65 / 221

» Fuzzy logics as the logics of chains

137

click to vote

SMALLTALK
2007
Springer

109views Programming Languages» more SMALLTALK 2007»

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

16 years 8 days ago

Download soft.vub.ac.be

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

claim paper

Read More »

127

click to vote

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

Basic Forward Chaining Construction for Logic Programs

15 years 10 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

15 years 8 months ago

Download www.aamas-conference.org

Wojciech Jamroga

claim paper

Read More »

133

click to vote

APAL
1999

55views more APAL 1999»

Logic Programs, Well-Orderings, and Forward Chaining

15 years 5 months ago

Download www.cs.uky.edu

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

claim paper

Read More »

112

click to vote

FPL
2010
Springer

85views Hardware» more FPL 2010»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers