420,203 Hits in 2.1 sec

Proof-Carrying Plans: a Resource Logic for AI Planning [article]

Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
2020 pre-print
In this paper, we present a novel resource logic, the Proof Carrying Plans (PCP) logic that can be used to verify plans produced by AI planners.  ...  Moreover, we showcase the Curry-Howard, or functional, value of this implementation by supplementing it with the library that parses AI plans into Agda's proofs automatically.  ...  The ultimate proof-(and type-) checking of these is delegated to the Agda library. We evaluated this implementation on several famous PDDL benchmarks. Our Earlier Work on Proof Carrying Plans.  ... 
doi:10.1145/3414080.3414094 arXiv:2008.04165v1 fatcat:nbjidbuvjnahjm2erpgoraau6e

Poverty proofing – An evolutionary process towards poverty reduction

Helen Johnston
2017 Administration  
carried out a poverty proofing exercise on the income tax proposals.  ...  issues as a more encompassing tool for policy proofing, rather than carrying out a number of parallel exercises.  ... 
doi:10.1515/admin-2017-0027 fatcat:gmks7qqwpjc3vgnmimckcpimhy

Planning Argumentative Texts [article]

Xiaorong Huang (Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany)
1994 arXiv   pre-print
The former splits the task of presenting a particular proof into subtasks of presenting subproofs.  ...  \proverb\'s main feature is that it combines global hierarchical planning and unplanned organization of text with respect to local derivation relations in a complementary way.  ...  It plays the role of the goal slot in the traditional planning framework. • Applicability Condition: a predicate. • Acts: a procedure which essentially carries out a sequence of presentation acts.  ... 
arXiv:cmp-lg/9410032v1 fatcat:ux3ofko35fgm3f2auib2omrqua

Page 2387 of JAMA: The Journal of the American Medical Association Vol. 108, Issue 26 [page]

1937 JAMA: The Journal of the American Medical Association  
While not all the machines carry the same kind of type, all of them are adjustable. The Associa- tion has a total of twelve modern linotype machines.  ...  and by considering solely those plans which are real group hospitalization plans.  ... 

Page 1108 of Strategic Finance Vol. 20, Issue 17 [page]

1939 Strategic Finance  
Verify count with the proof sheet. Verify the total of the proof sheets with the cash as shown on the general ledger.  ...  In planning audits, the element of surprise is a large factor. Rotate the order in which tellers are audited.  ... 


Cyrus F. Nourani
2013 International Electronic Journal of Pure and Applied Mathematics  
In virtual planning with generic diagrams that part of the plan that involves free Skolemized trees is carried along with the proof tree for a plan goal.  ...  Specific computations can be carried out with predictive model diagrams. For cognition, planning, and learning the robot's mind, a diagram grid can define state.  ...  In planning with GF-diagrams plan trees involving free Skolemized trees is carried along with the proof tree for a plan goal.  ... 
doi:10.12732/iejpam.v6i3.1 fatcat:3itekjm6qjdstfrlgrpj5zzstq

Page 60 of The Christian Examiner Vol. 64, Issue 1 [page]

1858 The Christian Examiner  
creatures in which the plan is carried out in modes so different.  ...  The unity of plan in animals highly diversified in the modes in which that plan has been carried into execution, shows a premeditation, if that word be allowable, in the Su- preme Intelligence by whom  ... 

Development of recommendations for proof load testing of reinforced concrete slab bridges

Eva O.L. Lantsoght, Cor van der Veen, Dick A. Hordijk, Ane de Boer
2017 Engineering structures  
load test 8 Prior to the proof load test, an inspection must be carried out.  ...  If an analytical assessment is not possible or shows 9 insufficient capacity, proof load testing can be carried out. A number of pilot proof load tests 10 have been carried out in the Netherlands.  ...  γ sw load factor for the self-weight 1  c strain measured during proof loading 2  c,lim limit value of the concrete strain : 0.8 ‰ if the concrete compressive strength ≥ 25 MPa.  ... 
doi:10.1016/j.engstruct.2017.09.018 fatcat:namvjadzwzeh3ics2eqkomvkoq

The Use of Proof Planning for Co-operative Theorem Proving

H. Lowe, A. Bundy, D. McLean
1998 Journal of symbolic computation  
Common patterns of reasoning in proofs are identified and represented computationa.lly as proof plans. These proof plans are then used to guide the search for proofs of new conjectures.  ...  The cooperative nature of the BARNACLE interface is made possible by proof planning. Proof planning is a technique for guiding the search for a proof in automatic theorem proving.  ...  being carried out automatically.  ... 
doi:10.1006/jsco.1997.0174 fatcat:5okm5hxcurgodl2dhuxozisvwq

Page 682 of PMLA. Publications of the Modern Language Association of America Vol. 41, Issue 3 [page]

1926 PMLA. Publications of the Modern Language Association of America  
till he is carried to them by outward events.  ...  “Even his scheme to “catch the con- science of the king” was not a plan to get public proof, but an instance of his unconscious entertaining of reasons allied with delay; for his soliloquy, and his talk  ... 

Page 675 of Journal of Family and Consumer Sciences Vol. 2, Issue 6 [page]

1910 Journal of Family and Consumer Sciences  
So we make our walls as nearly damp-proof as we can, with a coating of asphalt on the outside to keep out moisture and a layer of slate or asphalt or water-proof paper in the wall itself to keep the dampness  ...  We make our cellar-floor damp-proof by layers of concrete, asphalt and again con- crete.  ... 

Backward transition radiation in EUV-region as a possible tool for beam diagnostics

L G Sukhikh, S Yu Gogolev, A P Potylitsyn
2010 Journal of Physics, Conference Series  
We have carried out simulations of backward transition radiation angular distributions in the EUV region for molybdenum target for different geometries.  ...  In this paper we discuss the possibility of proof-of-principle experiment to observe backward transition radiation in EUV region as a first step for beam diagnostics.  ...  In this paper we present the plan of proof-of-principle experiment that is planned to be carry out in the electron beam of Mainz microtron MAMI.  ... 
doi:10.1088/1742-6596/236/1/012011 fatcat:wx33z7qxejaabno7zmjpaiyibe

Pisagor Teoremini Nasıl Öğretirsiniz: Ders Planlarının Analizi

Necdet Güner
2018 Ankara Üniversitesi Eğitim Bilimleri Fakültesi Dergisi  
Eighteen out of 43 participants included a proof of the Pythagorean theorem as a component of their lesson plan.  ...  These proofs were classified in three categories: visual proofs (two participants), algebraic proofs (nine participants), and proofs by using triangular similarities (seven participants).  ...  Forty years after Loomis' book, Sparks (2008) carried out a similar project by way of collecting some known proofs of the Pythagorean theorem.  ... 
doi:10.30964/auebfd.405041 fatcat:phnzfy6hgbdkjnh5xsf3plh67a

Page 2955 of American Society of Civil Engineers. Proceedings of the American Society of Civil Engineers Vol. 40, Issue 10 [page]

1914 American Society of Civil Engineers. Proceedings of the American Society of Civil Engineers  
The water-proofing shall also be carried down over the back walls to below the elevation of the bridge seat, as shown on the plans, or as directed. 47.  ...  ——Wherever called for by the plans, the decks of bridges shall be water-proofed with natural rock asphalt mastic, as specified in Paragraph 50. 50.  ... 

Experiments in automating hardware verification using inductive proof planning [chapter]

Francisco J. Cantu, Alan Bundy, Alan Smaill, David Basin
1996 Lecture Notes in Computer Science  
We have implemented our work in an extension of the Clam proof planning system.  ...  We present a new approach to automating the veri cation of hardware designs based on planning techniques.  ...  Our experience shows that the Clam system and the proof planning idea carry over well to this new domain, although a number of extensions in the details (as opposed to the spirit) of Clam and the development  ... 
doi:10.1007/bfb0031802 fatcat:obhgnszzlfatbgs7mc4hganv7q
« Previous Showing results 1 — 15 out of 420,203 results