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
1435
search results - page 112 / 287
»
E-connections of Description Logics
Sort
relevance
views
votes
recent
update
View
thumb
title
115
click to vote
SYNTHESE
2011
87
views
more
SYNTHESE 2011
»
What will they say? - Public Announcement Games
14 years 8 months ago
Download
www.cs.otago.ac.nz
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
Thomas Ågotnes, Hans P. van Ditmarsch
claim paper
Read More »
79
click to vote
SOFSEM
2010
Springer
137
views
Theoretical Computer Science
»
more
SOFSEM 2010
»
Comparison of Scoring and Order Approach in Description Logic EL(D)
15 years 10 months ago
Download
www.sofsem.cz
Veronika Vaneková, Peter Vojtás
claim paper
Read More »
53
click to vote
ATAL
2009
Springer
108
views
Intelligent Agents
»
more
ATAL 2009
»
Description logic for coalitions
15 years 7 months ago
Download
www.in.tu-clausthal.de
Inanç Seylan, Wojciech Jamroga
claim paper
Read More »
93
click to vote
FROCOS
2009
Springer
133
views
Control Systems
»
more
FROCOS 2009
»
Runtime Verification Using a Temporal Description Logic
15 years 7 months ago
Download
disi.unitn.it
Franz Baader, Andreas Bauer 0002, Marcel Lippmann
claim paper
Read More »
87
click to vote
IEEESCC
2007
IEEE
85
views
Applied Computing
»
more
IEEESCC 2007
»
Checking e-service consistency using Description Logics
15 years 7 months ago
Download
www.dis.uniroma1.it
Luigi Dragone, Riccardo Rosati
claim paper
Read More »
« Prev
« First
page 112 / 287
Last »
Next »