-
2
-
-
4644321958
-
Extending PDDL to nondeterminism, limited sensing and iterative conditional
-
Trento, Italy
-
Bertoli P., Cimatti A., Dal Lago U., Pistore M. Extending PDDL to nondeterminism, limited sensing and iterative conditional. Proceedings of ICAPS-03 Workshop on PDDL. Trento, Italy :2003.
-
(2003)
Proceedings of ICAPS-03 Workshop on PDDL
-
-
Bertoli, P.1
Cimatti, A.2
Dal Lago, U.3
Pistore, M.4
-
3
-
-
0038256830
-
Conditional planning under partial observability as heuristic-symbolic search in belief space
-
ECP-01, Toledo, Spain
-
Bertoli P., Cimatti A., Roveri M. Conditional planning under partial observability as heuristic-symbolic search in belief space. Proceedings of the Sixth European Conference on Planning. ECP-01, Toledo, Spain :2001;379-384.
-
(2001)
Proceedings of the Sixth European Conference on Planning
, pp. 379-384
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
-
4
-
-
84880886485
-
Heuristic search+symbolic model checking=efficient conformant planning
-
B. Nebel, IJCAI-2001, Seattle, WA. San Mateo, CA: Morgan Kaufmann
-
Bertoli P., Cimatti A., Roveri M. Heuristic search+symbolic model checking=efficient conformant planning. Nebel B. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. IJCAI-2001, Seattle, WA :2001;467-472 Morgan Kaufmann, San Mateo, CA.
-
(2001)
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence
, pp. 467-472
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
-
5
-
-
84880890864
-
Planning in nondeterministic domains under partial observability via symbolic model checking
-
B. Nebel, IJCAI-2001, Seattle, WA. San Mateo, CA: Morgan Kaufmann
-
Bertoli P., Cimatti A., Roveri M., Traverso P. Planning in nondeterministic domains under partial observability via symbolic model checking. Nebel B. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. IJCAI-2001, Seattle, WA :2001;473-478 Morgan Kaufmann, San Mateo, CA.
-
(2001)
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence
, pp. 473-478
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
Traverso, P.4
-
6
-
-
85166261608
-
Planning with incomplete information as heuristic search in belief space
-
S. Chien, S. Kambhampati, & C.A. Knoblock., Breckenridge, CO. Menlo Park, CA: AAAI Press
-
Bonet B., Geffner H. Planning with incomplete information as heuristic search in belief space. Chien S., Kambhampati S., Knoblock C.A. Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling, Breckenridge, CO. 2000;52-61 AAAI Press, Menlo Park, CA.
-
(2000)
Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling
, pp. 52-61
-
-
Bonet, B.1
Geffner, H.2
-
7
-
-
0025558645
-
Efficient implementation of a BDD package
-
Orlando, FL. ACM/IEEE, IEEE Computer Society Press
-
Brace K.S., Rudell R.L., Bryant R.E. Efficient implementation of a BDD package. Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, FL :1990;40-45 ACM/IEEE, IEEE Computer Society Press.
-
(1990)
Proceedings of the 27th ACM/IEEE Design Automation Conference
, pp. 40-45
-
-
Brace, K.S.1
Rudell, R.L.2
Bryant, R.E.3
-
9
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Bryant R.E. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35:(8):1986;677-691.
-
(1986)
IEEE Trans. Comput.
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
10
-
-
0026107125
-
On the complexity of VLSI implementations and graph representations of boolean functions with application to integer multiplication
-
Bryant R.E. On the complexity of VLSI implementations and graph representations of boolean functions with application to integer multiplication. IEEE Trans. Comput. 40:(2):1991;205-213.
-
(1991)
IEEE Trans. Comput.
, vol.40
, Issue.2
, pp. 205-213
-
-
Bryant, R.E.1
-
11
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary-decision diagrams
-
Bryant R.E. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surveys. 24:(3):1992;293-318.
-
(1992)
ACM Comput. Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
14
-
-
0037503164
-
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
-
Castellini C., Giunchiglia E., Tacchella A. SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence. 147:(1, 2):2003;85-117.
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1-2
, pp. 85-117
-
-
Castellini, C.1
Giunchiglia, E.2
Tacchella, A.3
-
16
-
-
84957091429
-
NUSMV: A new symbolic model verifier
-
N. Halbwachs, & D. Peled. Proceedings Eleventh Conference on Computer-Aided Verification, CAV-99, Trento, Italy. Berlin: Springer
-
Cimatti A., Clarke E.M., Giunchiglia F., Roveri M. NUSMV: A new symbolic model verifier. Halbwachs N., Peled D. Proceedings Eleventh Conference on Computer-Aided Verification. CAV-99, Trento, Italy Lecture Notes in Comput. Sci. vol. 1633:1999;495-499 Springer, Berlin.
-
(1999)
Lecture Notes in Comput. Sci.
, vol.1633
, pp. 495-499
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, F.3
Roveri, M.4
-
17
-
-
84898684942
-
Planning via model checking: A decision procedure for AR
-
S. Steel, & R. Alami. Proceeding of the Fourth European Conference on Planning, Toulouse, France. Berlin: Springer
-
Cimatti A., Giunchiglia E., Giunchiglia F., Traverso P. Planning via model checking: A decision procedure for AR. Steel S., Alami R. Proceeding of the Fourth European Conference on Planning. Toulouse, France Lecture Notes in Artif. Intell. vol. 1348:1997;130-142 Springer, Berlin. Also: ITC-IRST Technical Report 9705-02, ITC-IRST Trento, Italy.
-
(1997)
Lecture Notes in Artif. Intell.
, vol.1348
, pp. 130-142
-
-
Cimatti, A.1
Giunchiglia, E.2
Giunchiglia, F.3
Traverso, P.4
-
18
-
-
84898684942
-
-
ITC-IRST Trento, Italy
-
Cimatti A., Giunchiglia E., Giunchiglia F., Traverso P. Planning via model checking: A decision procedure for AR. Steel S., Alami R. Proceeding of the Fourth European Conference on Planning. Toulouse, France Lecture Notes in Artif. Intell. vol. 1348:1997;130-142 Springer, Berlin. Also: ITC-IRST Technical Report 9705-02, ITC-IRST Trento, Italy.
-
ITC-IRST Technical Report
, vol.9705
, Issue.2
-
-
-
19
-
-
84947920304
-
Integrating BDD-based and SAT-based symbolic model checking
-
A. Armando. Proceedings of the Fourth International Workshop on Frontiers of Combining Systems, Berlin: Springer
-
Cimatti A., Giunchiglia E., Pistore M., Roveri M., Sebastiani R., Tacchella A. Integrating BDD-based and SAT-based symbolic model checking. Armando A. Proceedings of the Fourth International Workshop on Frontiers of Combining Systems. Lecture Notes in Artif. Intell. vol. 2309:2002;49-56 Springer, Berlin.
-
(2002)
Lecture Notes in Artif. Intell.
, vol.2309
, pp. 49-56
-
-
Cimatti, A.1
Giunchiglia, E.2
Pistore, M.3
Roveri, M.4
Sebastiani, R.5
Tacchella, A.6
-
20
-
-
0038517219
-
Weak, strong, and strong cyclic planning via symbolic model checking
-
Cimatti A., Pistore M., Roveri M., Traverso P. Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence. 147:(1, 2):2003;35-84.
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1-2
, pp. 35-84
-
-
Cimatti, A.1
Pistore, M.2
Roveri, M.3
Traverso, P.4
-
22
-
-
84903123286
-
Searching powerset automata by combining explicit-state and symbolic model checking
-
T. Margaria, & W. Yi. Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction of Systems, Berlin: Springer
-
Cimatti A., Roveri M., Bertoli P. Searching powerset automata by combining explicit-state and symbolic model checking. Margaria T., Yi W. Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction of Systems. Lecture Notes in Comput. Sci. vol. 2031:2001;313-327 Springer, Berlin.
-
(2001)
Lecture Notes in Comput. Sci.
, vol.2031
, pp. 313-327
-
-
Cimatti, A.1
Roveri, M.2
Bertoli, P.3
-
23
-
-
0031620024
-
Automatic OBDD-based generation of universal plans in non-deterministic domains
-
AAAI-98, Madison, WI. AAAI Press. Also IRST-Technical Report 9801-10, Trento, Italy
-
Cimatti A., Roveri M., Traverso P. Automatic OBDD-based generation of universal plans in non-deterministic domains. Proceeding of the Fifteenth National Conference on Artificial Intelligence. AAAI-98, Madison, WI :1998;AAAI Press. Also IRST-Technical Report 9801-10, Trento, Italy.
-
(1998)
Proceeding of the Fifteenth National Conference on Artificial Intelligence
-
-
Cimatti, A.1
Roveri, M.2
Traverso, P.3
-
25
-
-
0000289556
-
Formal methods: State of the art and future directions
-
Clarke E.M., Wing J.M. Formal methods: State of the art and future directions. ACM Comput. Surveys. 28:(4):1996;626-643.
-
(1996)
ACM Comput. Surveys
, vol.28
, Issue.4
, pp. 626-643
-
-
Clarke, E.M.1
Wing, J.M.2
-
26
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
Clarke E.M., Emerson E.A., Sistla A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages Systems. 8:(2):1986;244-263.
-
(1986)
ACM Trans. Programming Languages Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
28
-
-
0036927344
-
Planning with a language for extended goals
-
AAAI-02, Edmonton, AB. AAAI Press/The MIT Press
-
Dal Lago U., Pistore M., Traverso P. Planning with a language for extended goals. Proceedings of the Eighteenth National Conference on Artificial Intelligence. AAAI-02, Edmonton, AB :2002;447-454 AAAI Press/The MIT Press.
-
(2002)
Proceedings of the Eighteenth National Conference on Artificial Intelligence
, pp. 447-454
-
-
Dal Lago, U.1
Pistore, M.2
Traverso, P.3
-
29
-
-
84943259132
-
Strong cyclic planning revisited
-
S. Biundo. Durham,Proceedings of the Fifth European Conference on Planning, United Kingdom. Berlin: Springer
-
Daniele M., Traverso P., Vardi M.Y. Strong cyclic planning revisited. Biundo S. Proceedings of the Fifth European Conference on Planning. Durham, United Kingdom Lecture Notes in Artif. Intell. vol. 1809:1999;35-48 Springer, Berlin.
-
(1999)
Lecture Notes in Artif. Intell.
, vol.1809
, pp. 35-48
-
-
Daniele, M.1
Traverso, P.2
Vardi, M.Y.3
-
30
-
-
0037372121
-
A logic programming approach to knowledge-state planning, II: The DLVK system
-
Eiter T., Faber W., Leone N., Pfeifer G., Polleres A. A logic programming approach to knowledge-state planning, II: The DLVK system. Artificial Intelligence. 144:(1-2):2003;157-211.
-
(2003)
Artificial Intelligence
, vol.144
, Issue.1-2
, pp. 157-211
-
-
Eiter, T.1
Faber, W.2
Leone, N.3
Pfeifer, G.4
Polleres, A.5
-
32
-
-
11544324354
-
The automatic inference of state invariants in TIM
-
Fox M., Long D. The automatic inference of state invariants in TIM. J. Artificial Intelligence Res. 9:1998;367-421.
-
(1998)
J. Artificial Intelligence Res.
, vol.9
, pp. 367-421
-
-
Fox, M.1
Long, D.2
-
35
-
-
84943278573
-
Some results on the complexity of planning with incomplete information
-
Proceedings of the 5th European Conference on Planning, Berlin: Springer
-
Haslum P., Jonsson P. Some results on the complexity of planning with incomplete information. Proceedings of the 5th European Conference on Planning. Lecture Notes in Artif. Intell. vol. 1809:1999;308-318 Springer, Berlin.
-
(1999)
Lecture Notes in Artif. Intell.
, vol.1809
, pp. 308-318
-
-
Haslum, P.1
Jonsson, P.2
-
37
-
-
84990609972
-
A critique of pure reason
-
McDermott D. A critique of pure reason. Comput. Intelligence. 3:(3):1987;151-237.
-
(1987)
Comput. Intelligence
, vol.3
, Issue.3
, pp. 151-237
-
-
McDermott, D.1
-
39
-
-
0346087488
-
Machine intelligence at Edinburgh
-
Edinburgh University Press
-
Michie D. Machine intelligence at Edinburgh. On Machine Intelligence. 1974;143-155 Edinburgh University Press.
-
(1974)
On Machine Intelligence
, pp. 143-155
-
-
Michie, D.1
-
42
-
-
0012331037
-
Symbolic techniques for planning with extended goals in non-deterministic domains
-
ECP'01, Toledo, Spain
-
Pistore M., Bettin R., Traverso P. Symbolic techniques for planning with extended goals in non-deterministic domains. Proceedings of the Sixth European Conference on Planning. ECP'01, Toledo, Spain :2001;253-264.
-
(2001)
Proceedings of the Sixth European Conference on Planning
, pp. 253-264
-
-
Pistore, M.1
Bettin, R.2
Traverso, P.3
-
43
-
-
84880882182
-
Planning as model checking for extended goals in non-deterministic domains
-
B. Nebel, IJCAI-01, Seattle, WA. San Mateo, CA: Morgan Kaufmann
-
Pistore M., Traverso P. Planning as model checking for extended goals in non-deterministic domains. Nebel B. Proceedings of the Seventh International Joint Conference on Artificial Intelligence. IJCAI-01, Seattle, WA : 2001;479-486 Morgan Kaufmann, San Mateo, CA.
-
(2001)
Proceedings of the Seventh International Joint Conference on Artificial Intelligence
, pp. 479-486
-
-
Pistore, M.1
Traverso, P.2
-
44
-
-
0033332766
-
Constructing conditional plans by a theorem-prover
-
Rintanen J. Constructing conditional plans by a theorem-prover. J. Artificial Intelligence Res. 10:1999;323-352.
-
(1999)
J. Artificial Intelligence Res.
, vol.10
, pp. 323-352
-
-
Rintanen, J.1
-
45
-
-
0031619318
-
Conformant graphplan
-
IAAI-98, Menlo Park, AAAI Press
-
Smith D.E., Weld D.S. Conformant graphplan. Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98 and of the 10th Conference on Innovative Applications of Artificial Intelligence, IAAI-98, Menlo Park. 1998;889-896 AAAI Press.
-
(1998)
Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98 and of the 10th Conference on Innovative Applications of Artificial Intelligence
, pp. 889-896
-
-
Smith, D.E.1
Weld, D.S.2
-
46
-
-
0004000699
-
-
April; Department of Electrical and Computer Engineering - University of Colorado at Boulder
-
Somenzi F. CUDD: CU Decision Diagram package - release 2.1.2. April 1997;Department of Electrical and Computer Engineering - University of Colorado at Boulder.
-
(1997)
CUDD: CU Decision Diagram Package - Release 2.1.2
-
-
Somenzi, F.1
-
47
-
-
84948947376
-
A performance study of BDD-based model checking
-
Yang B., Bryant R.E., O'Hallaron D.R., Biere A., Coudert O., Janssen G., Ranjan R.K., Somenzi F. A performance study of BDD-based model checking. Proceedings of the Formal Methods on Computer-Aided Design. 1998;255-289.
-
(1998)
Proceedings of the Formal Methods on Computer-Aided Design
, pp. 255-289
-
-
Yang, B.1
Bryant, R.E.2
O'Hallaron, D.R.3
Biere, A.4
Coudert, O.5
Janssen, G.6
Ranjan, R.K.7
Somenzi, F.8
|