A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards a practical engineering tool for rostering
2007
Annals of Operations Research
Preserved Fulltext
This effectively includes: Knowing how to formulate a given problem as a CSP/COP Knowing how to incorporate domain knowledge into the solver Knowing how to choose a good formulation for a given problem ...
ZDC-Rostering demonstrates the feasibility of applying constraint satisfaction techniques to solving rostering problems, without having to acquire deep knowledge in constraint technology. ...
Acknowledgements We wish to thank both Nathan Barnes and James Borrett for their contribution to the CACP project. ...
doi:10.1007/s10479-007-0217-x
fatcat:m35ufd56z5fjvgnyge655u6e4y
Using Ontology Search Engines to support Users and Intelligent Systems solving a range of tasks
[chapter]
2009
Applications and Innovations in Intelligent Systems XVI
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
We describe how an ontology search engine has assisted in solving such problems, by summarizing the frequency of occurrence of descriptors found in a group of relevant ontologies, and by reporting which ...
The paper describes several classes of tasks namely solving word problems, and classifying datasets using machine learning techniques, where the tasks may not be solvable because the information provided ...
We acknowledge various discussions with Stuart Chalmers and Matthieu Villemont (University of Aberdeen) about this approach, and we wish to thank M. Villemont for implementing an early prototype. Dr. ...
doi:10.1007/978-1-84882-215-3_9
dblp:conf/sgai/SleemanTA08
fatcat:ykv2utpbcfagbjysfgluvqjo6u
Explaining Ourselves: Human-Aware Constraint Reasoning
2017
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Constraint reasoning offers particular opportunities and challenges in this regard. ...
A good foundation for human-awareness should enable ourselves and our "AIs" to "explain ourselves" naturally to each other. ...
• Providing appropriate insight and guidance for human-machine collaboration • Acquiring, improving and utilizing "background knowledge" of user and problem domain constraints to facilitate future problem ...
doi:10.1609/aaai.v31i1.11147
fatcat:gym5odad4rffrnwpm3um6um5mq
Agent-Based Intelligent Support to Coalition Operations
2005
Information & Security An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
) design of adaptive agents for on-the-fly problem solving. ...
The approach is based on such advanced information technologies as intelligent agents, ontology management, and constraint satisfaction/propagation. ...
Intelligent Systems;" project #1.9 of the research program "Fundamental Basics of Information Technologies and Computer Systems" of the Russian Academy of Sciences; and grant #02-01-00284 of the Russian ...
doi:10.11610/isij.1605
fatcat:iudlppz3hfhibn432mtafk64ze
Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets
2016
Proceedings of the 8th International Conference on Agents and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This work shows how utilizing Minimum Correction Subsets (MCS) of a Constraint Satisfaction Problem improves the collaboration of automation system designers and prevents inconsistent requirements and ...
To meet the automation industry's requirement for standardised solutions that assure reliability, the calculation of MCS is formulated in such a way that most constraint solvers can be used without any ...
A partial constraint satisfaction problem is equivalent to a MaxSAT problem (Freuder and Wallace, 1992) . ...
doi:10.5220/0005679102800287
dblp:conf/icaart/DiedrichBN16
fatcat:dng3beedefamvey7nhyd32grwa
Tools for Building Intelligent Tutoring Systems
2006
Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We have created two programs ("tutor generators") for assisting users in building ITSs conforming to two prominent intelligent tutoring paradigms: model-tracing and constraint-based. ...
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. ...
problem to be solved. ...
doi:10.1109/hicss.2006.490
dblp:conf/hicss/KodaganallurWR06
fatcat:otmkt6jvifdz7puj56htd6ha3y
Collaborative Learning for Constraint Solving
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
for constraint satisfaction and optimization. ...
The necessary expertise is of two forms: constraint programming expertise and problem-domain expertise. ...
Acknowledgements This work was supported in part by NSF grant IIS-9907385 and by NASA. We thank Richard Wallace for his assistance in generating test problems. ...
doi:10.1007/3-540-45578-7_4
fatcat:qdwfx7ltovddblev3kbvkk5dmu
Twenty-Five Years of Successful Application of Constraint Technologies at Siemens
2017
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For more than 25 years the application of constraint-based methods has proven to be a key technology in order to realize configurators at Siemens. ...
The development of problem solvers for configuration tasks is one of the most successful and mature application areas of artificial intelligence. ...
of expert users) to manually mark constraints permitted to be violated. ...
doi:10.1609/aimag.v37i4.2688
fatcat:vkcioavswrbtxkfemljnrf3vdu
Multi-Agent Systems and Distributed Constraint Satisfaction for Decision Support in Marine Ecosystem Management
2016
Journal of computer science and systems biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
MAS
Abstract Real-world problems can be formulated as distributed constraint satisfaction problems. ...
Key focus will be given to distributed constraint satisfaction to model the individual behaviour according to variables, domains and constraints. ...
doi:10.4172/jcsb.1000233
fatcat:vpt2poihbzau5akm4y5ucmyvmu
Using Case-Based Reasoning to Write Constraint Programs
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. ...
We describe how Case-Based Reasoning can be used to capture the expertise of skilled constraint programmers and then reuse that knowledge to write new programs. ...
Borrett & Tsang [8] examine characteristics of problem formulations and search algorithms to determine the one with the lowest solving cost. ...
doi:10.1007/978-3-540-45193-8_107
fatcat:kgsotwpkpjggxpu3cee3umen7u
Semi-automatic Modeling by Constraint Acquisition
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
By restricting the language of constraints used to build the network, this could also assist an expert to develop an efficient model of a given problem. © [1] contains a long version of this paper. ...
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. ...
Otherwise, it can be regarded as an assistance to the expert for an automatic reformulation of her problem. ...
doi:10.1007/978-3-540-45193-8_58
fatcat:4w4k4fcalvexnnp3prqhvpj2mi
Synthesizing Expert Systems and Operations Research Techniques: system classification and review
1994
Australasian Journal of Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper surveys the synthesis of ES and OR and discusses and classifies various expert systems that synthesize the two for managerial problem solving. ...
Expert system (ES) and operations research (OR) nave many fundamental characteristics that can be used to completnent and supplement each other. ...
ACKNOWLEDGEMENT The authors would like to thank Ariyapadi Krishnaraj of SUNY at Buffalo for his excellent research assistance. ...
doi:10.3127/ajis.v1i2.421
fatcat:yiy24h5nxvaazeetcweimszk74
Modeling Commercial Knowledge to Develop Advanced Agent-Based Marketplaces for E-commerce
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, we describe the idea of model-based approach to develop a shopping agent that dynamically configures a product according to the needs and preferences of customers. ...
Model-based development of knowledge-systems The model-based approach has been recently followed by different methodologies for system analysis and design. ...
problem-solving competence. ...
doi:10.1007/3-540-44799-7_20
fatcat:e3zzecgcr5e3tglriwchdwgm2u
Incremental temporal reasoning in job shop scheduling repair
2010
2010 IEEE International Conference on Industrial Engineering and Engineering Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Specifically, such a problem is formulated as a disjunctive temporal problem (DTP), framed as an optimal constraint satisfaction problem (OCSP) formally, and finally solved by performing an algorithm integrating ...
Through involving human interactive mechanism, domain experts can make higher quality decisions by balancing makespan and deviations. ...
ACKNOWLEDGMENT We thank Qing Xiang, Kaiquan Wei, Henri Badaro, Patrick Conrad and David Wang for their discussions and suggestions. ...
doi:10.1109/ieem.2010.5674383
fatcat:hgvk7fyeo5hc7bopduwiy2gwu4
Case-Based Reasoning Integrations
2002
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
There has been a recent upsurge in the integration of CBR with other reasoning modalities and computing paradigms, especially rule-based reasoning (RBR) and constraint-satisfaction problem (CSP) solving ...
Past progress, current trends, and issues for future research are discussed. ...
The coauthors are grateful to the workshop participants for their insights and contributions. ...
doi:10.1609/aimag.v23i1.1610
dblp:journals/aim/MarlingSRMA02
fatcat:4do4oz7u6regdgz2jpfmogziam
« Previous
Showing results 1 — 15 out of 20,666 results