Sciweavers

834 search results - page 36 / 167
» Anaphora and the Logic of Change
Sort
View
IWFM
2000
162views Formal Methods» more  IWFM 2000»
13 years 10 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
AIR
2004
106views more  AIR 2004»
13 years 8 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
AAAI
2000
13 years 10 months ago
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
Henrik Grosskreutz, Gerhard Lakemeyer
TCSV
2008
110views more  TCSV 2008»
13 years 8 months ago
Fuzzy-Logic Congestion Control of Transcoded Video Streaming Without Packet Loss Feedback
Congestion control of a variable bit-rate video stream crossing the Internet is crucial to ensuring the quality of the received video. When a fuzzy-logic congestion controller (FL...
Emmanuel Jammeh, Martin Fleury, Mohammed Ghanbari
LORI
2009
Springer
14 years 3 months ago
Dynamic Testimonial Logic
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
Wesley H. Holliday