Tachyon: a constraint-based temporal reasoning model and its implementation
ACM SIGART Bulletin
Temporal reasoning in Timegraph I–II
ACM SIGART Bulletin
A metric time-point and duration-based temporal model
ACM SIGART Bulletin
Journal of the ACM (JACM)
On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
Multimedia documents with elastic time
Proceedings of the third ACM international conference on Multimedia
Creative multimedia for children: Isis story builder
CHI '95 Conference Companion on Human Factors in Computing Systems
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Issues in temporal reasoning for autonomous control systems
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Madeus, and authoring environment for interactive multimedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Spatial Reasoning Using the Quad Tesseral Representation
Artificial Intelligence Review
Fast transformation of temporal plans for efficient execution
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Temporal reasoning with qualitative and quantitative information about points and durations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Querying temporal constraint networks in PTIME
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Modeling of, and reasoning with recurrent events with imprecise durations
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Coaching a simulated soccer team by opponent model recognition
Proceedings of the fifth international conference on Autonomous agents
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
Combining topological and size information for spatial reasoning
Artificial Intelligence
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Efficient algorithms for debugging timing constraint violations
Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
A general framework for time granularity and its application to temporal reasoning
Annals of Mathematics and Artificial Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
General Temporal Knowledge for Planning and Data Mining
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Syntax and Semantics for a Fuzzy Temporal Constraint Logic
Annals of Mathematics and Artificial Intelligence
STRPLAN: A Distributed Planner for Object-Centred Application Domains
Applied Intelligence
Interactive Case-Based Planning for Forest Fire Management
Applied Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
A Path-Consistent Singleton Modeling (CSM) Algorithm for Arc-Constrained Networks
Applied Intelligence
Constraint Programming: Strategic Directions
Constraints
Temporal Constraints: A Survey
Constraints
Constraints
A Constraint-Based Method for Project Scheduling with Time Windows
Journal of Heuristics
A Scalable Toolkit for Designing Multimedia Authoring Environments
Multimedia Tools and Applications
On point-duration networks for temporal reasoning
Artificial Intelligence
Solving multi-granularity temporal constraint networks
Artificial Intelligence
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Discovering Frequent Event Patterns with Multiple Granularities in Time Sequences
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
Later: Managing Temporal Information Efficiently
IEEE Expert: Intelligent Systems and Their Applications
Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft
IEEE Intelligent Systems
Towards Formal Modeling of e-Contracts
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
A Temporal Planning System for Time-Optimal Planning
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
On Reformulating Planning as Dynamic Constraint Satisfaction
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Reformulation of Temporal Constraint Networks
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Pareto Optimization of Temporal Decisions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Temporal Representation and Reasoning for Dynamic Environments
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Series-Parallel and Tree-Decomposition Approaches for Fuzzy Constraint Networks
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Board-Laying Techniques Improve Local Search in Mixed Planning and Scheduling
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Recognizing and Discovering Complex Events in Sequences
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
An Analysis of Zero-Clairvoyant Scheduling
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Real-Time Automata and the Kleene Algebra of Sets of Real Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
ATT-CMUnited-2000: Third Place Finisher in the RoboCup-2000 Simulator League
RoboCup 2000: Robot Soccer World Cup IV
Processor Pipelines and Their Properties for Static WCET Analysis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A Mixed Closure-CSP Method to Solve Scheduling Problems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Dynamic CSPs for Interval-Based Temporal Reasoning
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Execution-Time Plan Management for a Cognitive Orthotic System
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Safe Datalog Queries with Linear Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Some Observations on Durations, Scheduling and Allen's Algebra
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A Global Constraint Combining a Sum Constraint and Difference Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Computing the Envelope for Stepwise-Constant Resource Allocations
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Learning and Solving Soft Temporal Constraints: An Experimental Study
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Exchanging and Combining Temporal Information in a Cooperative Environment
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
TimeNetManager - A Software Tool for Generating Random Temporal Networks
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Constraint-Based Architecture for Flexible Support to Activity Scheduling
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Gaining Control over Time in Workflow Management Applications
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Deriving Abstract Views of Multi-granularity Temporal Constraint Networks
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Generating Bids for Group-Related Actions in the Context of Prior Commitments
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Checking the temporal integrity of interactive multimedia documents
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Nordic Journal of Computing
Proceedings of the tenth international symposium on Hardware/software codesign
Algorithms for a temporal decoupling problem in multi-agent planning
Eighteenth national conference on Artificial intelligence
A method for metric temporal reasoning
Eighteenth national conference on Artificial intelligence
Interactive authoring of multimedia documents in a constraint-based authoring system
Multimedia Systems - Special section on video libraries
Human Action Detection Using PNF Propagation of Temporal Constraints
CVPR '98 Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition
Distributing the control of a temporal network among multiple agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Time consistency of MSC-2000 specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Obligation Monitoring in Policy Management
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Provisions and Obligations in Policy Rule Management
Journal of Network and Systems Management
Constraint-Based Attribute and Interval Planning
Constraints
A generic library of problem solving methods for scheduling applications
Proceedings of the 2nd international conference on Knowledge capture
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Temporal scenario modelling and recognition based on possibilistic logic
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining heterogeneous temporal information: A case study
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Efficient solution techniques for disjunctive temporal reasoning problems
Artificial Intelligence
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
A Mixed Closure-CSP Method for Solving Scheduling Problems
Applied Intelligence
ICML '04 Proceedings of the twenty-first international conference on Machine learning
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
A framework for resolution of time in natural language
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Supporting dispatchability in schedules with consumable resources
Journal of Scheduling
Automatic temporal layout mechanisms revisited
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Periodic Linear Programming with applications to real-time scheduling
Mathematical Structures in Computer Science
Comirem: An Intelligent Form for Resource Management
IEEE Intelligent Systems
IEEE Intelligent Systems
Maintaining Longest Paths Incrementally
Constraints
A greedy strategy for detecting negative cost cycles in networks
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Special issue on: Spatial and temporal reasoning
AI Communications - Special issue on: Spatial and temporal reasoning
An efficient consistency algorithm for the temporal constraint satisfaction problem
AI Communications - Special issue on: Spatial and temporal reasoning
Multimedia Tools and Applications
Maintaining global consistency of temporal constraints in a dynamic environment
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Controlling complex physical systems through planning and scheduling integration
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Passive verification of the strategyproofness of mechanisms in open environments
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
A temporal constraint structure for extracting temporal information from clinical narrative
Journal of Biomedical Informatics
Plan management in the medical domain
AI Communications
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Spatial and Temporal Reasoning
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
AI Communications - Spatial and Temporal Reasoning
AI Communications - Spatial and Temporal Reasoning
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting
AI Communications - Binding Environmental Sciences and AI
Artificial Intelligence in Medicine
Integrating planning and scheduling in workflow domains
Expert Systems with Applications: An International Journal
Journal of Biomedical Informatics
International Journal of Knowledge-based and Intelligent Engineering Systems
Solving conditional and composite constraint satisfaction problems
Proceedings of the 2007 ACM symposium on Applied computing
A Zero-Space algorithm for Negative Cost Cycle Detection in networks
Journal of Discrete Algorithms
Demonstration of a spoken dialogue interface for planning activities of a semi-autonomous robot
HLT '02 Proceedings of the second international conference on Human Language Technology Research
A fuzzy model for the representation and recognition of linguistically described trends
Intelligent Data Analysis
Precedence Temporal Networks to represent temporal relationships in gene expression data
Journal of Biomedical Informatics
Chain programming over difference constraints
Nordic Journal of Computing
Distributed management of flexible times schedules
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Airlift mission monitoring and dynamic rescheduling
Engineering Applications of Artificial Intelligence
Temporal reasoning about fuzzy intervals
Artificial Intelligence
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Artificial Intelligence
TeMAS–a multi-agent system for temporally rich domains
Knowledge and Information Systems
From precedence constraint posting to partial order schedules: A CSP approach to Robust Scheduling
AI Communications - Constraint Programming for Planning and Scheduling
AI Communications - Constraint Programming for Planning and Scheduling
Solving temporal over-constrained problems using fuzzy techniques
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Modeling korean clinical records as a simple temporal constraint satisfaction problem
Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries
A global constraint for total weighted completion time for cumulative resources
Engineering Applications of Artificial Intelligence
Fuzzy conditional temporal problems: Strong and weak consistency
Engineering Applications of Artificial Intelligence
Combining variants of iterative flattening search
Engineering Applications of Artificial Intelligence
Global difference constraint propagation for finite domain solvers
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Extending uncertainty formalisms to linear constraints and other complex formalisms
International Journal of Approximate Reasoning
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Managing Conditional and Composite CSPs
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Propos: A Dynamic Web Tool for Managing Possibilistic and Probabilistic Temporal Constraint Networks
IWINAC '07 Proceedings of the 2nd international work-conference on Nature Inspired Problem-Solving Methods in Knowledge Engineering: Interplay Between Natural and Artificial Computation, Part II
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Boosting the Performance of Iterative Flattening Search
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Causal temporal constraint networks for representing temporal knowledge
Expert Systems with Applications: An International Journal
TRACE, a graphical tool for the acquisition and detection of signal patterns
Expert Systems with Applications: An International Journal
Provably efficient algorithms for resolving temporal and spatial difference constraint violations
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Temporal Reasoning in Nested Temporal Networks with Alternatives
Recent Advances in Constraints
A fuzzy constraint satisfaction approach for signal abstraction
International Journal of Approximate Reasoning
Temporal similarity measures for querying clinical workflows
Artificial Intelligence in Medicine
A probabilistic plan recognition algorithm based on plan tree grammars
Artificial Intelligence
Integrating Off-line and On-line Schedulers
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Practical Temporal Constraint Management System for Real-Time Applications
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Diagnosis of Simple Temporal Networks
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Intelligent adaptive monitoring for cardiac surveillance
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Temporal Features in Biological Warfare
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
An effective algorithm for project scheduling with arbitrary temporal constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Low-cost addition of preferences to DTPs and TCSPs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Evaluating consistency algorithms for temporal metric constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Techniques for generating optimal, robust plans when temporal uncertainty is present
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Temporal preference optimization as weighted constraint satisfaction
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Robust execution of contingent, temporally flexible plans
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Tractable classes of metric temporal problems with domain rules
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
Controllability in Temporal Conceptual Workflow Schemata
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Coordinating agile systems through the model-based execution of temporal plans
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Any time, complete algorithm for finding utilitarian optimal solutions to STPPs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Augmenting disjunctive temporal problems with finite-domain constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Temporal dynamic controllability revisited
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Exploiting the structure of hierarchical plans in temporal constraint propagation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
On the partial observability of temporal uncertainty
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The deep space network scheduling problem
IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
Hybrid constraint tightening for solving hybrid scheduling problems
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
On-line planning and scheduling: an application to controlling modular printers
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
Qualitative temporal reasoning with points and durations
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
On finding a solution in temporal constraint satisfaction problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
VHPOP: versatile heuristic partial order planner
Journal of Artificial Intelligence Research
An approach to temporal planning and scheduling in domains with predictable exogenous events
Journal of Artificial Intelligence Research
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Supporting temporal reasoning by mapping calendar expressions to minimal periodic sets
Journal of Artificial Intelligence Research
Abstract reasoning for planning and coordination
Journal of Artificial Intelligence Research
MUSE CSP: an extension to the constraint satisfaction problem
Journal of Artificial Intelligence Research
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
Exploiting domain structure to achieve efficient temporal reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Situation recognition: representation and algorithms
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Efficient temporal reasoning through timegraphs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Temporal planning with mutual exclusion reasoning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Managing temporal uncertainty through waypoint controllability
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A new framework for reasoning about points, intervals and durations
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Chronicle recognition improvement using temporal focusing and hierarchization
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Fast (incremental) algorithms for useful classes of simple temporal problems with preferences
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalizing temporal controllability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Local consistency for extended CSPs
Theoretical Computer Science
Tractable Pareto optimization of temporal preferences
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Temporal reasoning with preferences and uncertainty
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Multiagent planning with partially ordered temporal plans
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
GSTP: a temporal reasoning system supporting multi-granularity temporal constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Temporal constraint reasoning with preferences
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dynamic control of plans with temporal uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Identifying conflicts in overconstrained temporal problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Applying local search to disjunctive temporal problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Representing flexible temporal behaviors in the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Integrating planning and temporal reasoning for domains with durations and time windows
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Minimizing a makespan under uncertainty
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Disjunctive temporal planning with uncertainty
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Possibilistic temporal reasoning based on fuzzy temporal constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Constraints, consistency and closure
Artificial Intelligence
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Addressing the flaws of current critical alarms: a fuzzy constraint satisfaction approach
Artificial Intelligence in Medicine
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
Advanced Engineering Informatics
Activity time collection and analysis through temporal reasoning
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
An event driven decision support algorithm for command and control of UAV fleets
ACC'09 Proceedings of the 2009 conference on American Control Conference
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
A greedy strategy for detecting negative cost cycles in networks
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
International Journal of Approximate Reasoning
A stream-based hierarchical anchoring framework
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Plan decoupling of agents with qualitatively constrained tasks
Multiagent and Grid Systems - Planning in multiagent systems
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
A unifying framework for hybrid planning and scheduling
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Generating implied boolean constraints via singleton consistency
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Strong controllability of disjunctive temporal problems with uncertainty
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Continuous constraint query evaluation for spatiotemporal streams
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
Integrating answer set reasoning with constraint solving techniques
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Fuzzy temporal logic on fuzzy temporal constraint networks
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 6
Changerefinery: assisted refinement of high-level IT change requests
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Optimal temporal decoupling in multiagent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Distributed coordination of mobile agent teams: the advantage of planning ahead
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Partitioning the multiagent simple temporal problem for concurrency and privacy
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A multiagent architecture for controlling the Palamede satellite
Web Intelligence and Agent Systems
Automatic generation of temporal planning domains for e-learning problems
Journal of Scheduling
Handling temporal constraints in workflow model for planning and scheduling
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
The Knowledge Engineering Review
The Knowledge Engineering Review
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Trajectory constraints in qualitative simulation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Integrating metric and qualitative temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Metric constraints for maintaining appointments: dates and repeated activities
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Combining qualitative and quantitative constraints in temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
On the minimality and decomposability of constraint networks
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Coping with disjunctions in temporal constraint satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A constraint decomposition method for spatio-temporal configuration problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A new unification method for temporal reasoning with constraints
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Stochastic procedures for generating feasible schedules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Leveraging natural language processing of clinical narratives for phenotype modeling
PIKM '10 Proceedings of the 3rd workshop on Ph.D. students in information and knowledge management
SIMACT: a 3D open source smart home simulator for activity recognition
AST/UCMA/ISA/ACN'10 Proceedings of the 2010 international conference on Advances in computer science and information technology
Spatio-temporal event stream processing in multimedia communication systems
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
A data mining algorithm for inducing temporal constraint networks
IPMU'10 Proceedings of the Computational intelligence for knowledge-based systems design, and 13th international conference on Information processing and management of uncertainty
A simple way to improve path consistency processing in interval algebra networks
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
An Event-Based Fragment of First-Order Logic over Intervals
Journal of Logic, Language and Information
A hybrid LS-CP solver for the shifts and breaks design problem
HM'10 Proceedings of the 7th international conference on Hybrid metaheuristics
An improved memetic algorithm for break scheduling
HM'10 Proceedings of the 7th international conference on Hybrid metaheuristics
Generalized disjunctive constraint propagation for solving the job shop problem with time lags
Engineering Applications of Artificial Intelligence
Injecting on-board autonomy in a multi-agent system for space service providing
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Avian influenza: Temporal modeling of a human to human transmission case
Expert Systems with Applications: An International Journal
Maximal-confirmation diagnoses
Knowledge-Based Systems
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
Science of Computer Programming
On the modelling and optimization of preferences in constraint-based temporal reasoning
Artificial Intelligence
Constraint-based modeling and scheduling of clinical pathways
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Explaining the cumulative propagator
Constraints
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
Proceedings of the AI for an Intelligent Planet
Distributed algorithms for solving the multiagent temporal decoupling problem
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Mining temporal constraint networks by seed knowledge extension
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
A constraint based approach to cyclic RCPSP
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Reasoning with temporal constraints in RDF
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Periodicity-Based temporal constraints
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Emergent timetabling organization
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A structural characterization of temporal dynamic controllability
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A new graph of classes for the preservation of quantitative temporal constraints
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
A SAT-based decision procedure for the boolean combination of difference constraints
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Graph theoretic models for reasoning about time
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Modelling temporal, data-centric medical processes
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
SEaM: analyzing schedule executability through simulation
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
An integrated and flexible architecture for planning and scheduling
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Analyzing chain programs over difference constraints
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Conditional and composite temporal CSPs
Applied Intelligence
A local fusion method of temporal information
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A tractable subclass of fuzzy constraint networks
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Temporal knowledge representation and reasoning model for temporally rich domains
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Early validation of deployment and scheduling constraints for MSC specifications
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Discriminating exanthematic diseases from temporal patterns of patient symptoms
AIME'05 Proceedings of the 10th conference on Artificial Intelligence in Medicine
Annals of Mathematics and Artificial Intelligence
Connecting the dots: constructing spatiotemporal episodes from events schemas
Transactions on Computational Science VI
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
A system prototype for solving multi-granularity temporal CSP
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
ETTO: emergent timetabling by cooperative self-organization
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
If it may have happened before, it happened, but not necessarily before
ENLG '11 Proceedings of the 13th European Workshop on Natural Language Generation
MAK₠: a system for modelling, optimising, and analyzing production in small and medium enterprises
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
Verification of temporal scheduling constraints in clinical practice guidelines
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
On the co-operation between abductive and temporal reasoning in medical diagnosis
Artificial Intelligence in Medicine
Temporal query processing with indefinite information
Artificial Intelligence in Medicine
A modular approach for representing and executing clinical guidelines
Artificial Intelligence in Medicine
Conceptual modeling of flexible temporal workflows
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
On the complexity of temporal controllabilities for workflow schemata
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Introducing global constraints in CHIP
Mathematical and Computer Modelling: An International Journal
Discrete-time temporal reasoning with horn DLRs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Iterative flattening search for the flexible job shop scheduling problem
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Toward interactive scheduling systems for managing medical resources
Artificial Intelligence in Medicine
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
Advanced Engineering Informatics
The conjunction of interval among constraints
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Simple temporal problems in route scheduling for the dial---a---ride problem with transfers
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Solving disjunctive temporal problems with preferences using maximum satisfiability
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Temporal Bayesian Knowledge Bases - Reasoning about uncertainty with temporal constraints
Expert Systems with Applications: An International Journal
A constraint-based approach for proactive, context-aware human support
Journal of Ambient Intelligence and Smart Environments
Computing all-pairs shortest paths by leveraging low treewidth
Journal of Artificial Intelligence Research
Solving temporal problems using SMT: strong controllability
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Time-Dependent simple temporal networks
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Using satisfiability for non-optimal temporal planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Risk-sensitive plan execution for connected sustainable home
BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings
Network modeling and evolutionary optimization for scheduling in manufacturing
Journal of Intelligent Manufacturing
On-Line detection and prediction of temporal patterns
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
A resource enhanced HTN planning approach for emergency decision-making
Applied Intelligence
An open platform for the protocolization of home medical supervision
Expert Systems with Applications: An International Journal
Computational complexity of linear constraints over the integers
Artificial Intelligence
Maximum Flexibility and Optimal Decoupling in Task Scheduling Problems
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
Discovering metric temporal constraint networks on temporal databases
Artificial Intelligence in Medicine
Optimal rectangle packing: an absolute placement approach
Journal of Artificial Intelligence Research
Probabilistic planning for continuous dynamic systems under bounded risk
Journal of Artificial Intelligence Research
Supporting a distributed execution of clinical guidelines
Computer Methods and Programs in Biomedicine
On verification of nested workflows with extra constraints: From theory to practice
Expert Systems with Applications: An International Journal
Flexible execution of partial order plans with temporal constraints
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Flexibility and decoupling in the simple temporal problem
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Describing disease processes using a probabilistic logic of qualitative time
Artificial Intelligence in Medicine
Specifying safety-critical systems with a decidable duration logic
Science of Computer Programming
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
Specifying and solving symbolic and numeric temporal constraints
International Journal of Knowledge-based and Intelligent Engineering Systems
Group planning with time constraints
Annals of Mathematics and Artificial Intelligence
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
| Hi-index | 0.01 |