Search Sciweavers | Sciweavers

6355 search results - page 119 / 1271

» From Logic to Games

133

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

16 years 17 days ago

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

141

click to vote

APN
2004
Springer

88views Artificial Intelligence» more APN 2004»

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

15 years 11 months ago

Download sbml.org

Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...

claim paper

Read More »

139

click to vote

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

15 years 10 months ago

Download ds.lib.kyutech.ac.jp

Eric Martin, Arun Sharma

claim paper

Read More »

136

click to vote

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 10 months ago

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

125

click to vote

MFCS
1995
Springer

66views Theoretical Computer Science» more MFCS 1995»

From Timed Automata to Logic - and Back

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers