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
12745
search results - page 109 / 2549
»
Automating test automation
Sort
relevance
views
votes
recent
update
View
thumb
title
149
click to vote
KR
1994
Springer
113
views
Automated Reasoning
»
more
KR 1994
»
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update
15 years 10 months ago
Download
www.cs.huji.ac.il
Nir Friedman, Joseph Y. Halpern
claim paper
Read More »
144
click to vote
KR
1994
Springer
109
views
Automated Reasoning
»
more
KR 1994
»
Reasoning in Logic about Continuous Systems
15 years 10 months ago
Download
www.qrg.northwestern.edu
Benjamin Kuipers, Benjamin Shults
claim paper
Read More »
160
click to vote
LPAR
1994
Springer
75
views
Automated Reasoning
»
more
LPAR 1994
»
Projection in Temporal Logic Programming
15 years 10 months ago
Download
www.cs.ncl.ac.uk
Zhenhua Duan, Maciej Koutny, Chris Holt
claim paper
Read More »
223
click to vote
NMELP
1994
244
views
Automated Reasoning
»
more
NMELP 1994
»
An Argumentation Theoretic Semantics Based on Non-Refutable Falsity
15 years 10 months ago
Download
centria.di.fct.unl.pt
José Júlio Alferes, Luís Moni...
claim paper
Read More »
142
click to vote
NMELP
1994
218
views
Automated Reasoning
»
more
NMELP 1994
»
From Disjunctive Programs to Abduction
15 years 10 months ago
Download
www.d.umn.edu
Vladimir Lifschitz, Hudson Turner
claim paper
Read More »
« Prev
« First
page 109 / 2549
Last »
Next »
