Filters








11,034 Hits in 5.6 sec

Clingo = ASP + Control: Preliminary Report [article]

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
<span title="2014-05-14">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
control capacities expressed via the embedded scripting languages lua and python.  ...  Among others, such processes feature advanced forms of search, as in optimization or theory solving, or even interact with an environment, as in robotics or query-answering.  ...  Examples include unrolling a transition function, as in planning, interacting with an environment, as in assisted living, robotics, or stream reasoning, interacting with a user exploring a domain, theory  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1405.3694v1">arXiv:1405.3694v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vugrlddllzhkzedgrqgagymdl4">fatcat:vugrlddllzhkzedgrqgagymdl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200829224721/https://arxiv.org/pdf/1405.3694v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/cc/9accb33f121a30e219cf7e9a01b4d029d4ba508f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1405.3694v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Automata for dynamic answer set solving: Preliminary report [article]

Pedro Cabalar
<span title="2021-09-04">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Since this preliminary study is restricted to dynamic formulas in integrity constraints, its implementations and (empirical) results readily apply to conventional linear dynamic logic, too.  ...  On the one hand, we elaborate upon a transformation of dynamic formulas into alternating automata that relies on meta-programming in ASP.  ...  The equivalence between temporal formulas and automata has been widely used in satisfiability checking, model checking, learning and synthesis [24, 25, 16, 26, 27] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.01782v1">arXiv:2109.01782v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oy5ichw4nrhfhefewzrgstvyiq">fatcat:oy5ichw4nrhfhefewzrgstvyiq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210909183333/https://arxiv.org/pdf/2109.01782v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d4/80/d480b5e4908f4902fb37154fce1667b02723c744.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.01782v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report)

Eric Horvitz, Yongshao Ruan, Carla Gomes, Henry Kautz, Bart Selman, Max Chickering
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fhi2xwpnh5gmlgof2idwu5wlgq" style="color: black;">Electronic Notes in Discrete Mathematics</a> </i> &nbsp;
Our efforts are motivated by observations of high variance in the time required to solve instances for several challenging problems.  ...  We illustrate the approach with a focus on the task of predicting run time for general and domain-specific solvers on a hard class of structured constraint satisfaction problems.  ...  Such points do not include the cases where variable assignment is forced via propagation of previous set values, as occurs with unit propagation, backtracking, lookahead, and forward-checking.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0653(04)00335-x">doi:10.1016/s1571-0653(04)00335-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z5rjpwgv3vgwdgxv652dxy4ciy">fatcat:z5rjpwgv3vgwdgxv652dxy4ciy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190619180600/https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/UAI2k1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/13/95/1395eee8a5971e79f5e8148f8fdc3d499f51a2a4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0653(04)00335-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report [chapter]

Yuqing Tang, Timothy J. Norman, Simon Parsons
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the approach, sets of arguments and defeats are encoded into BDDs so that an argumentation process can work on a set of arguments and defeats simultaneously in one BDD operation.  ...  In this paper, we propose a binary decision diagram (BDD) approach to argumentation-based reasoning.  ...  The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of the U.S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21940-5_16">doi:10.1007/978-3-642-21940-5_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/53touxay5nhh5h4fcanexzcmvq">fatcat:53touxay5nhh5h4fcanexzcmvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401150502/http://www.sci.brooklyn.cuny.edu/~parsons/publications/conferences/argmas10a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/69/ac/69acd85a049fe71382827e5d450ed14266c7f046.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21940-5_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verification and validation in the context of domain-specific modelling

Janne Merilinna, Juha Pärssinen
<span title="">2010</span> <i title="ACM Press"> Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM &#39;10 </i> &nbsp;
The utilisation of Domain-Specific Modelling (DSM) in software development has a significant positive impact on productivity.  ...  The productivity increase is caused by the utilisation of modelling languages and generators that are especially suitable for a specific problem domain instead of those designed for solution domains.  ...  generators function as planned.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2060329.2060351">doi:10.1145/2060329.2060351</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mxveujxkybbgnk4yy35iv24txe">fatcat:mxveujxkybbgnk4yy35iv24txe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809041245/http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/dd/42dd81a487673cc2dc2210bda070888f7d91cd38.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2060329.2060351"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Exploiting Domain-Specific Features to Enhance Domain Generalization [article]

Manh-Ha Bui, Toan Tran, Anh Tuan Tran, Dinh Phung
<span title="2021-10-18">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Domain Generalization (DG) aims to train a model, from multiple observed source domains, in order to perform well on unseen target domains.  ...  Our key insight is to disentangle features in the latent space while jointly learning both domain-invariant and domain-specific features in a unified framework.  ...  In the future, we plan to continue tackling these challenges to provide a better understanding and learning framework in domain generalization then extending to broader settings of transfer learning.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2110.09410v1">arXiv:2110.09410v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/koqcioubtvdk7ouacwsu3xi2he">fatcat:koqcioubtvdk7ouacwsu3xi2he</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211021034940/https://arxiv.org/pdf/2110.09410v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/de/9adee27a1030ee3d04e39e73ab8de299e4ff71ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2110.09410v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Semantic Attachments for Domain-Independent Planning Systems [chapter]

Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner, Bernhard Nebel
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lirc5icuifhy7ln5rynpn4ak2e" style="color: black;">Springer Tracts in Advanced Robotics</a> </i> &nbsp;
For example, manipulation planning may appear as a subproblem in a robotic planning context or a packing problem can be part of a logistics task.  ...  Finally, we present some preliminary experiments using semantic attachments.  ...  In experiment III a geometric manipulation planning domain is generated in which a semantic attachment checks for possible grasping poses.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25116-0_9">doi:10.1007/978-3-642-25116-0_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zyhjevgfnjb33izp4q3evy5f3q">fatcat:zyhjevgfnjb33izp4q3evy5f3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120417112724/http://www.informatik.uni-freiburg.de/~ki/papers/dornhege-etal-icaps09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/7b/957ba54affcc27304d90bb5cb7efc0ee43dbcfcb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25116-0_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Policy Learning for Domain Selection in an Extensible Multi-domain Spoken Dialogue System

Zhuoran Wang, Hongliang Chen, Guanchun Wang, Hao Tian, Hua Wu, Haifeng Wang
<span title="">2014</span> <i title="Association for Computational Linguistics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u3ideoxy4fghvbsstiknuweth4" style="color: black;">Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP)</a> </i> &nbsp;
In addition, it is shown that by using a model parameter tying trick, the extensibility of the system can be preserved, where dialogue components in new domains can be easily plugged in, without re-training  ...  In the proposed framework, the domain selection problem is treated as sequential planning instead of classification, such that confirmation and clarification interaction mechanisms are supported.  ...  Acknowledgements The research in this paper is supported by China's 973 Programme no. 2014CB340505.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3115/v1/d14-1007">doi:10.3115/v1/d14-1007</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emnlp/WangCWTWW14.html">dblp:conf/emnlp/WangCWTWW14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4s2ysnzx4rei5ioftyfgeb2gyu">fatcat:4s2ysnzx4rei5ioftyfgeb2gyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922030530/http://aclweb.org/anthology/D/D14/D14-1007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cb/29/cb29120234f3bd5519a8e55fbf4b6b298590cc98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3115/v1/d14-1007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Integrating planning and scheduling in workflow domains

María Dolores R-Moreno, Daniel Borrajo, Amedeo Cesta, Angelo Oddi
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ekjwtd7zwfeipf5aknu4733lzy" style="color: black;">Expert systems with applications</a> </i> &nbsp;
One of the main obstacles in applying AI planning techniques to real problems is the difficulty to model the domains.  ...  In these domains, there are activities that must be performed (planning) in a temporal horizon that consume or produce resources (scheduling).  ...  Acknowledgements The SHAMASH project has being carried out in the course of the R&D project funded by the Esprit Program of the Commission of the European Communities as project number 25491.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.eswa.2006.05.027">doi:10.1016/j.eswa.2006.05.027</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bg4zwryjibgjlceh6lpcbupeiq">fatcat:bg4zwryjibgjlceh6lpcbupeiq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171118164800/https://core.ac.uk/download/pdf/29401253.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/a8/a8a8210877830f44d4e289e9286a640c348d292c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.eswa.2006.05.027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Model Checking of Domain Artifacts in Product Line Engineering

Kim Lauenroth, Klaus Pohl, Simon Toehning
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">2009 IEEE/ACM International Conference on Automated Software Engineering</a> </i> &nbsp;
In this paper we present an extended model checking approach which takes the product line variability into account when verifying domain artifacts.  ...  For verifying development artifacts, model checking is a well-established technique in single system development.  ...  Model Checking of Domain Artifacts We define model checking of domain artifacts as follows: Model checking of domain artifacts means to verify that every possible product that can be derived from a domain  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ase.2009.16">doi:10.1109/ase.2009.16</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/LauenrothPT09.html">dblp:conf/kbse/LauenrothPT09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tuzkpg6hundztf6s4u2db7ccm4">fatcat:tuzkpg6hundztf6s4u2db7ccm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811221704/http://www.cs.colostate.edu/~france/CS614/Readings/Readings2011/SPL-MC.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/d7/59d7e658c96a665ed735243a17f5169ae47e26cb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ase.2009.16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An end-to-end domain-driven software development framework

Aditya Agrawal, Gabor Karsai, Akos Ledeczi
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA &#39;03</a> </i> &nbsp;
It consists of a meta-programmable domain-specific modeling environment and a model transformation generator toolset based on graph transformations.  ...  In addition, the framework could be considered an early, end-to-end implementation of the concepts advocated by the OMG's Model Driven Architecture initiative. General Terms Design.  ...  Preliminary results demonstrate a speedup in the development time. There are a number of open questions that we plan to address in our ongoing research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949344.949347">doi:10.1145/949344.949347</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/AgrawalKL03.html">dblp:conf/oopsla/AgrawalKL03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7uxwbhgfqzcfbjykczgxwqsrv4">fatcat:7uxwbhgfqzcfbjykczgxwqsrv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160102133125/http://www.isis.vanderbilt.edu/sites/default/files/Agrawal_A_10_0_2003_An_End_to_.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/df/92dfa9b9044c7eaff30cb6596107a14d6530e818.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949344.949347"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An end-to-end domain-driven software development framework

Aditya Agrawal, Gabor Karsai, Akos Ledeczi
<span title="">2003</span> <i title="ACM Press"> Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA &#39;03 </i> &nbsp;
It consists of a meta-programmable domain-specific modeling environment and a model transformation generator toolset based on graph transformations.  ...  In addition, the framework could be considered an early, end-to-end implementation of the concepts advocated by the OMG's Model Driven Architecture initiative. General Terms Design.  ...  Preliminary results demonstrate a speedup in the development time. There are a number of open questions that we plan to address in our ongoing research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949345.949347">doi:10.1145/949345.949347</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/isih446psveednksnfei5kby3u">fatcat:isih446psveednksnfei5kby3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160102133125/http://www.isis.vanderbilt.edu/sites/default/files/Agrawal_A_10_0_2003_An_End_to_.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/df/92dfa9b9044c7eaff30cb6596107a14d6530e818.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949345.949347"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automated composition of Web services via planning in asynchronous domains

Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
In this paper, we show that such tools can be realized based on the adoption and extension of powerful AI planning techniques, taking the "planning via model-checking" approach as a stepping stone.  ...  for asynchronous domains.  ...  In this paper, we show that such tools can be realized based on the adoption and extension of powerful AI planning techniques, taking the "planning via model-checking" approach as a stepping stone.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2009.12.002">doi:10.1016/j.artint.2009.12.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y65isa2hgvfqdcwiqchzfg5qka">fatcat:y65isa2hgvfqdcwiqchzfg5qka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002034835/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/afd/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDAwNDM3MDIwOTAwMTQ4OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3e/46/3e460f765e5c2cf5ea3ff3e89df7a5063d37cb3a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.artint.2009.12.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Goal Recognition over Imperfect Domain Models [article]

Ramon Fraga Pereira
<span title="2020-05-12">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this thesis, we introduce the problem of goal recognition over imperfect domain models, and develop solution approaches that explicitly deal with two distinct types of imperfect domains models: (1)  ...  incomplete discrete domain models that have possible, rather than known, preconditions and effects in action descriptions; and (2) approximate continuous domain models, where the transition function is  ...  [61, 60] for planning in incomplete domain models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.05712v1">arXiv:2005.05712v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/totc3sll7be6fdas7ud562lkoe">fatcat:totc3sll7be6fdas7ud562lkoe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200528050137/https://arxiv.org/pdf/2005.05712v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.05712v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Encoding Domain Transitions for Constraint-Based Planning

Nina Ghanbari Ghooshchi, Majid Namazi, M.A.Hakim Newton, Abdul Sattar
<span title="2017-04-28">2017</span> <i title="AI Access Foundation"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ax4efcwajcgvidb6hcg6mwx4a" style="color: black;">The Journal of Artificial Intelligence Research</a> </i> &nbsp;
TCPP constructs its constraint model from a redefined version of the domain transition graphs (DTG) of a given planning problem.  ...  TCPP uses Minion the constraint solver to solve the constraint model and returns a parallel plan. We empirically compare TCPP with the other state-of-the-art constraint-based parallel planner PaP2.  ...  Our TCPP Planner Given Lemma 4, we obtain a deterministic implementation of the Algorithm 2 via constraint satisfaction techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.5378">doi:10.1613/jair.5378</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yctcm55tkngbtdkqgomo5idwau">fatcat:yctcm55tkngbtdkqgomo5idwau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180422093756/http://www.jair.org/media/5378/live-5378-9931-jair.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2e/de/2edef4b71c228ffef07926beb0eade85460a9feb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.5378"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 11,034 results