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
17054
search results - page 219 / 3411
»
Logics of Dynamical Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
171
click to vote
LICS
1995
IEEE
111
views
Automated Reasoning
»
more
LICS 1995
»
Complete Proof Systems for First Order Interval Temporal Logic
15 years 10 months ago
Download
www.cse.dmu.ac.uk
Bruno Dutertre
claim paper
Read More »
175
click to vote
BIRTHDAY
2005
Springer
101
views
Applied Computing
»
more
BIRTHDAY 2005
»
Modelling Evolvable Systems: A Temporal Logic View
15 years 9 months ago
Download
www.cs.man.ac.uk
Howard Barringer, David E. Rydeheard
claim paper
Read More »
142
click to vote
CLA
2007
186
views
Artificial Intelligence
»
more
CLA 2007
»
Camelis: Organizing and Browsing a Personal Photo Collection with a Logical Information System
15 years 8 months ago
Download
sunsite.informatik.rwth-aachen.de
Sébastien Ferré
claim paper
Read More »
192
click to vote
CLIMA
2006
96
views
Intelligent Agents
»
more
CLIMA 2006
»
The Second Contest on Multi-Agent Systems Based on Computational Logic
15 years 8 months ago
Download
www.in.tu-clausthal.de
Mehdi Dastani, Jürgen Dix, Peter Novák
claim paper
Read More »
113
click to vote
AAAI
1998
134
views
Intelligent Agents
»
more
AAAI 1998
»
A Prototype Application of Fuzzy Logic and Expert Systems in Education Assessment
15 years 8 months ago
Download
www.aaai.org
James R. Nolan
claim paper
Read More »
« Prev
« First
page 219 / 3411
Last »
Next »
