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
1470
search results - page 3 / 294
»
An Introduction to Description Logics
Sort
relevance
views
votes
recent
update
View
thumb
title
162
click to vote
DLOG
2007
225
views
Automated Reasoning
»
more
DLOG 2007
»
Dynamic Description Logic: Embracing Actions into Description Logic
15 years 8 months ago
Download
sunsite.informatik.rwth-aachen.de
Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin
claim paper
Read More »
181
click to vote
BIRTHDAY
2005
Springer
233
views
Applied Computing
»
more
BIRTHDAY 2005
»
Logical Non-determinism as a Tool for Logical Modularity: An Introduction
15 years 11 months ago
Download
www.cs.tau.ac.il
Arnon Avron
claim paper
Read More »
243
click to vote
LLL
1999
Springer
357
views
Automated Reasoning
»
more
LLL 1999
»
An Introduction to Inductive Logic Programming and Learning Language in Logic
15 years 10 months ago
Download
www-users.cs.york.ac.uk
Saso Dzeroski, James Cussens, Suresh Manandhar
claim paper
Read More »
178
click to vote
FUIN
2007
236
views
more
FUIN 2007
»
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
15 years 5 months ago
Download
people.cs.kuleuven.be
Joost Vennekens, Johan Wittocx, Maarten Marië...
claim paper
Read More »
148
click to vote
FUIN
2007
220
views
more
FUIN 2007
»
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
15 years 5 months ago
Download
dtai.cs.kuleuven.be
Joost Vennekens, Johan Wittocx, Maarten Marië...
claim paper
Read More »
« Prev
« First
page 3 / 294
Last »
Next »
