Search Sciweavers | Sciweavers

12745 search results - page 180 / 2549

» Automating test automation

123

Voted

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 9 months ago

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

110

Voted

ILP
2001
Springer

83views Automated Reasoning» more ILP 2001»

Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition

15 years 9 months ago

Download www.irisa.fr

Rene Quiniou, Marie-Odile Cordier, Guy Carrault, F...

claim paper

Read More »

137

click to vote

LPAR
2001
Springer

110views Automated Reasoning» more LPAR 2001»

Reasoning about Evolving Nonmonotonic Knowledge Bases

15 years 9 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

140

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 9 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

108

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers