Search Sciweavers | Sciweavers

2162 search results - page 9 / 433

» Automated Reasoning on Feature Models

click to vote

AAAI
1998

138views Intelligent Agents» more AAAI 1998»

Multimodal Reasoning for Automatic Model Construction

15 years 1 months ago

Download www.aaai.org

This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...

Reinhard Stolle, Elizabeth Bradley

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 5 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

click to vote

ECSQARU
2001
Springer

104views Automated Reasoning» more ECSQARU 2001»

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

15 years 4 months ago

Download www.kr.tuwien.ac.at

Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...

claim paper

Read More »

click to vote

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 2 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers