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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1536
search results - page 28 / 308
»
The Underlying Logic of Hoare Logic
Sort
relevance
views
votes
recent
update
View
thumb
title
11
click to vote
ICEIS
2007
IEEE
91
views
Information Technology
»
more
ICEIS 2007
»
On the Logic Underlying Common Sense
14 years 2 months ago
Download
www.cs.ru.nl
Janos J. Sarbo
claim paper
Read More »
24
click to vote
ECSQARU
2007
Springer
152
views
Automated Reasoning
»
more
ECSQARU 2007
»
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
14 years 2 months ago
Download
www.kr.tuwien.ac.at
Thomas Lukasiewicz, Umberto Straccia
claim paper
Read More »
22
click to vote
SUM
2007
Springer
108
views
Information Technology
»
more
SUM 2007
»
Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
14 years 2 months ago
Download
gaia.isti.cnr.it
Thomas Lukasiewicz, Umberto Straccia
claim paper
Read More »
40
click to vote
ISIPTA
2005
IEEE
150
views
Mathematics
»
more
ISIPTA 2005
»
Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLO
14 years 2 months ago
Download
www.kr.tuwien.ac.at
Thomas Lukasiewicz
claim paper
Read More »
15
click to vote
JELIA
2004
Springer
100
views
Artificial Intelligence
»
more
JELIA 2004
»
Equivalence of Logic Programs Under Updates
14 years 1 months ago
Download
research.nii.ac.jp
Katsumi Inoue, Chiaki Sakama
claim paper
Read More »
« Prev
« First
page 28 / 308
Last »
Next »