Search Sciweavers | Sciweavers

4617 search results - page 220 / 924

» Automation of Diagrammatic Reasoning

122

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

16 years 1 months ago

Download users.ugent.be

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, M...

claim paper

Read More »

138

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

16 years 19 days ago

Download www.lix.polytechnique.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

105

click to vote

ECSQARU
2007
Springer

86views Automated Reasoning» more ECSQARU 2007»

Dependencies Between Players in Boolean Games

16 years 19 days ago

Download www.irit.fr

Elise Bonzon, Marie-Christine Lagasquie-Schiex, J&...

claim paper

Read More »

126

click to vote

ECSQARU
2007
Springer

89views Automated Reasoning» more ECSQARU 2007»

Inference and Learning in Multi-dimensional Bayesian Network Classifiers

16 years 19 days ago

Download www.cs.uu.nl

Peter R. de Waal, Linda C. van der Gaag

claim paper

Read More »

158

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers