Остановите войну!
for scientists:
default search action
John K. Slaney
- > Home > Persons > John K. Slaney
Publications
- 2013
- [c40]Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney:
Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI 2013: 2900-2907 - [i2]Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. CoRR abs/1301.0606 (2013) - 2012
- [c39]Patrik Haslum, John K. Slaney, Sylvie Thiébaux:
Minimal Landmarks for Optimal Delete-Free Planning. ICAPS 2012 - 2011
- [i1]Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux:
Decision-Theoretic Planning with non-Markovian Rewards. CoRR abs/1109.2355 (2011) - 2010
- [c38]Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney:
An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP 2010: 522-536 - 2009
- [c36]Anbulagan, John K. Slaney:
Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. ICTAI 2009: 99-106 - 2006
- [j11]Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza:
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25: 17-74 (2006) - [c34]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Estimating Search Tree Size. AAAI 2006: 1014-1019 - 2005
- [c33]Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar:
Old Resolution Meets Modern SLS. AAAI 2005: 354-359 - [c32]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373 - [c31]Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP 2005: 13-16 - [c30]Anbulagan, John K. Slaney:
Lookahead Saturation with Restriction for SAT. CP 2005: 727-731 - [c28]Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP 2005: 9-13 - [c27]Philip Kilby, John K. Slaney, Toby Walsh:
The Backbone of the Travelling Salesperson. IJCAI 2005: 175-180 - 2004
- [c26]Arnold Binas, John K. Slaney:
Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI 2004: 948-949 - [c25]John K. Slaney, Arnold Binas, David Price:
Guiding a Theorem Prover with Soft Constraints. ECAI 2004: 221-225 - 2002
- [c24]Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux:
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580 - [c23]Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI 2002: 501-510 - 2001
- [j7]John K. Slaney, Sylvie Thiébaux:
Blocks World revisited. Artif. Intell. 125(1-2): 119-153 (2001) - [c21]John K. Slaney, Toby Walsh:
Backbones in Optimization and Approximation. IJCAI 2001: 254-259 - 2000
- [c20]John K. Slaney, Sylvie Thiébaux, Philip Kilby:
Estimating the Hardness of Optimisation. ECAI 2000: 123-130 - 1999
- [c18]Hongxue Wang, Vijay Varadharajan, John K. Slaney:
Towards Perfect Objects. TOOLS (32) 1999: 115-126 - 1998
- [c17]Hongxue Wang, John K. Slaney:
GISM: A Language for Modelling and Developing Agent-Based Intelligent Systems. DAI 1998: 122-136 - [c16]John K. Slaney, Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems. ECAI 1998: 244-248 - [e2]Grigoris Antoniou, John K. Slaney:
Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers. Lecture Notes in Computer Science 1502, Springer 1998, ISBN 3-540-65138-1 [contents] - 1996
- [c13]John K. Slaney, Sylvie Thiébaux:
Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 1996: 1208-1214 - [c12]John K. Slaney, Timothy J. Surendonk:
Combining Finite Model Generation with Theorem Proving: Problems and Prospects. FroCoS 1996: 141-155
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-09-28 02:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint