Search Sciweavers | Sciweavers

23

SARA
2007
Springer

101views Artificial Intelligence» more SARA 2007»

14 years 2 months ago

Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...

Timothy L. Hinrichs, Michael R. Genesereth

claim paper

Read More »

29

click to vote

KSEM
2007
Springer

136views Theoretical Computer Science» more KSEM 2007»

An Argumentative Reasoning Service for Deliberative Agents

14 years 3 months ago

Download cs.uns.edu.ar

Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...

Alejandro Javier García, Nicolás D. ...

claim paper

Read More »

21

click to vote

AAAI
1990

102views Intelligent Agents» more AAAI 1990»

Mechanizing Inductive Reasoning

13 years 10 months ago

Download www.aaai.org

Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...

Emmanuel Kounalis, Michaël Rusinowitch

claim paper

Read More »

32

click to vote

BIOINFORMATICS
2012

258views Distributed And Parallel Com...» more BIOINFORMATICS 2012»

Causal reasoning on biological networks: interpreting transcriptional changes

11 years 11 months ago

Download www.bensidders.co.uk

d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...

Leonid Chindelevitch, Daniel Ziemek, Ahmed Enayeta...

claim paper

Read More »

22

click to vote

LICS
2007
IEEE

117views Automated Reasoning» more LICS 2007»

Characterising Testing Preorders for Finite Probabilistic Processes

14 years 3 months ago