Search Sciweavers | Sciweavers

2585 search results - page 32 / 517

» Automating Coherent Logic

119

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

114

click to vote

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

15 years 10 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

153

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 10 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

123

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

119

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers