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
9145
search results - page 366 / 1829
»
Description Logic Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
119
click to vote
MLQ
2006
72
views
more
MLQ 2006
»
Categorical abstract algebraic logic: The largest theory system included in a theory family
15 years 6 months ago
Download
voutsadakis.com
George Voutsadakis
claim paper
Read More »
139
click to vote
JANCL
2007
66
views
more
JANCL 2007
»
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
15 years 6 months ago
Download
www.ifispan.waw.pl
Joanna Golinska-Pilarek
claim paper
Read More »
151
click to vote
AMAI
2004
Springer
140
views
Artificial Intelligence
»
more
AMAI 2004
»
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
15 years 6 months ago
Download
www-lia.deis.unibo.it
Paolo Torroni
claim paper
Read More »
131
click to vote
CJ
2002
79
views
more
CJ 2002
»
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
15 years 6 months ago
Download
www.dcs.gla.ac.uk
Muffy Calder, Savi Maharaj, Carron Shankland
claim paper
Read More »
143
click to vote
DC
1998
66
views
Internet Technology
»
more
DC 1998
»
A Logical Approach to Multilevel Security of Probabilistic Systems
15 years 6 months ago
Download
www.cs.cornell.edu
James W. Gray III, Paul F. Syverson
claim paper
Read More »
« Prev
« First
page 366 / 1829
Last »
Next »
