Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2303
search results - page 80 / 461
»
On the logic of argumentation theory
Sort
relevance
views
votes
recent
update
View
thumb
title
120
click to vote
AI
2005
Springer
86
views
Artificial Intelligence
»
more
AI 2005
»
Partition-based logical reasoning for first-order and propositional theories
15 years 6 months ago
Download
reason.cs.uiuc.edu
Eyal Amir, Sheila A. McIlraith
claim paper
Read More »
118
click to vote
ETAI
2000
43
views
more
ETAI 2000
»
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
15 years 6 months ago
Download
www.doc.ic.ac.uk
Simon Colton
claim paper
Read More »
111
click to vote
CORR
1999
Springer
58
views
Education
»
more
CORR 1999
»
Representation Theory for Default Logic
15 years 6 months ago
Download
www.cs.uky.edu
V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
claim paper
Read More »
124
click to vote
IGPL
2010
82
views
more
IGPL 2010
»
Multimodal and intuitionistic logics in simple type theory
15 years 4 months ago
Download
www.ags.uni-sb.de
Christoph Benzmüller, Lawrence C. Paulson
claim paper
Read More »
140
click to vote
TODS
2010
89
views
more
TODS 2010
»
Towards a logical reconstruction of a theory for locally closed databases
15 years 4 months ago
Download
www2.mta.ac.il
Marc Denecker, Alvaro Cortés-Calabuig, Maur...
claim paper
Read More »
« Prev
« First
page 80 / 461
Last »
Next »
