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
5378
search results - page 185 / 1076
»
Base Logics in Argumentation
Sort
relevance
views
votes
recent
update
View
thumb
title
146
click to vote
ENTCS
2010
111
views
more
ENTCS 2010
»
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
15 years 6 months ago
Download
eprints.ecs.soton.ac.uk
Corina Cîrstea
claim paper
Read More »
165
click to vote
ENGL
2008
100
views
more
ENGL 2008
»
HIDE+: A Logic Based Hardware Development Environment
15 years 6 months ago
Download
www.engineeringletters.com
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
claim paper
Read More »
103
click to vote
ENTCS
2008
74
views
more
ENTCS 2008
»
An RDF Query Language based on Logic Programming
15 years 6 months ago
Download
indalog.ual.es
Jesús Manuel Almendros-Jiménez
claim paper
Read More »
102
click to vote
APAL
2006
44
views
more
APAL 2006
»
Periodicity based decidable classes in a first order timed logic
15 years 6 months ago
Download
lacl.univ-paris12.fr
Danièle Beauquier, Anatol Slissenko
claim paper
Read More »
135
click to vote
FSS
2006
82
views
more
FSS 2006
»
A fuzzy logic based production scheduling/rescheduling in the presence of uncertain disruptions
15 years 6 months ago
Download
www.coventry.ac.uk
Dobrila Petrovic, Alejandra Duenas
claim paper
Read More »
« Prev
« First
page 185 / 1076
Last »
Next »