Search Sciweavers | Sciweavers

1368 search results - page 3 / 274

» Personality-Based Practical Reasoning

147

click to vote

KR
1992
Springer

248views Automated Reasoning» more KR 1992»

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality

15 years 7 months ago

Download www.ags.uni-sb.de

Ronald J. Brachman

claim paper

Read More »

click to vote

DLOG
2007

94views Automated Reasoning» more DLOG 2007»

Practical Conforming Datatype Groups

15 years 5 months ago

Download www.hpl.hp.com

Dave Turner, Jeremy Carroll

claim paper

Read More »

130

click to vote

CADE
1997
Springer

143views Logical Reasoning» more CADE 1997»

A Practical Integration of First-Order Reasoning and Decision Procedures

15 years 7 months ago

Download www-step.stanford.edu

Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...

claim paper

Read More »

click to vote

DLOG
2004

90views Automated Reasoning» more DLOG 2004»

DL-Lite: Practical Reasoning for Rich Dls

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

110

click to vote

EWCBR
1994
Springer

144views Automated Reasoning» more EWCBR 1994»

A CBR Knowledge Representation for Practical Ethics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers