Search Sciweavers | Sciweavers

4573 search results - page 203 / 915

» Automated Reasoning

108

Voted

ICCBR
2009
Springer

119views Automated Reasoning» more ICCBR 2009»

Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions

15 years 10 months ago

Download www.comp.rgu.ac.uk

Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...

claim paper

Read More »

click to vote

LPNMR
2009
Springer

92views Automated Reasoning» more LPNMR 2009»

The Second Answer Set Programming Competition

15 years 10 months ago

Download dtai.cs.kuleuven.be

Marc Denecker, Joost Vennekens, Stephen Bond, Mart...

claim paper

Read More »

click to vote

RR
2009
Springer

98views Automated Reasoning» more RR 2009»

A Formal Theory for Modular ERDF Ontologies

15 years 10 months ago

Download www.ics.forth.gr

Anastasia Analyti, Grigoris Antoniou, Carlos Viega...

claim paper

Read More »

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

15 years 10 months ago

Download users.ugent.be

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

claim paper

Read More »

104

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers