The Logic Programming Paradigm
|
|
- Shannon Richards
- 6 years ago
- Views:
Transcription
1 Roadma Tabled Logic Programming and Its Alications Manuel Carro, Pablo Chico de uzmán School of Comuter Science, Technical University of Madrid, Sain IMDEA Software Institute, Sain Prometidos-CM Summer School Facultad de Informática, UCM Setember 9-, 0 Introduction: the Logic Programming aradigm. Pitfalls. Tabling Basics: Memoing. Breaking loos. Analysis of some alications. Advanced Tabling Caabilities: Subsumtive tabling. Negation with tabling. Imlementation issues. Oen research toics. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS / 45 Intro to LP Logic rogramming: declarative, relational style. Origins linked to theorem roving and linguistics. Try to solve roblems / execute rograms with a theorem rover. Can you do that? Yes, but you (initially) end u with a sort of limited theorem rover. Tabling also tries to overcome some of these initial limitations. Aim: clean, exressive, obviously correct rograms. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45
2 Facts, Queries, Rules Execution of a Query erson ( mike ). erson ( alice ). erson ( bob ). erson ( mirna ). food ( vegetable, salad ). likes ( mike, vegetable ). food ( vegetable, beans ). likes (mike, fish ). food ( meat, chicken ). likes ( alice, vegetable ). food (meat, rabbit ). likes (bob, fish ). food (meat, ork ). likes (bob, meat ). food (fish, soul ). likes (bob, vegetable ). food (fish, octous ). likes ( mirna, fish ). likes ( mirna, vegetable ). meal ( Person, Food ): - likes ( Person, Tye ), food (Tye, Food ). same_food (P, P, Food ): - meal (P, Food ), meal (P, Food ).?- meal(alice, What). likes(alice, T), food(t, What) T = vegetables food(vegetables, What) What = salad What = beans Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 5 / 45 Execution of a Query Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 6 / 45 Logical Variables?- meal(who, beans). Who = mike T = vegetable food(vegetable, beans) Who = mike T = fish likes(who, T), food(t, beans) Who = alice T = vegetable food(vegetable, beans) Who = bob T = fish...?- likes (mirna, X), X = meat. no food(fish, beans) food(fish, beans) fail fail Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 7 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 8 / 45
3 Arithmetic Prolog arithmetic is a comromise. X is Ex Aritmetically evaluates Ex Unifies result with X?- X is 3 * srt (). X = ??- X = 3 * srt (). X = 3* srt ()??- is * X. { ERROR : arithmetic :*/, arg - Instantiation Error } Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 9 / 45 Structured Data coule ( married ( mirna, bob )).?- coule (C). C = married ( mirna, bob )?- coule ( married ( mirna, X )). X = bob Lists What Prolog notation Emty list Singleton list a Two-element list a, b List with a head a and a tail T a T List starting with a, b, c and continuing with tail T a, b, c T Interretation of Formulas Rules and facts are stylized formulas: meal ( Person, Food ): - likes ( Person, Tye ), food (Tye, Food ). is a way of writing the formula and a uery?- meal ( mirna, X). P F T likes(p, T ) food(t, F ) meal(p, F ) is an attemt to mechanically and constructively determine whether X.meal(mirna, X ) holds. If so, it is demonstrated by finding an X for which meal(mirna, X ) can be inferred from the rogram. This is what a Prolog system does by alying an automated deduction rocedure. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 0 / 45 Pitfalls Redundant comutations hanoi (N, L): - hanoi (N, A, B, C, L), A = a, B = b, C = c. hanoi (0, _, _, _, ). hanoi (N, A, B, C, M): - N > 0, N is N -, hanoi (N, A, C, B, M), hanoi (N, C, B, A, M), aend (M, move (A, B) M, M). Non termination of otherwise correct rograms ath (A, B): - edge (A, C), ath (C, B). ath (A, B): - edge (A, B). fib (0) := 0. fib () :=. fib (N) := fib (N -) + fib (N -) :- N >. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS / 45
4 Tabling Basics Towards Tabling: Memoing Tabling Basics Remember calls and their answers. Can imrove seed. We will see two examles. Tabling Basics Towards Tabling: Memoing (Cont.) Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Tabling Basics Towards Tabling: Memoing (Cont.) hanoi (0, _A, _B, _C, ). hanoi (N, A, B, C, M): - N > 0, N is N -, hanoi (N, A, C, B, M), hanoi (N, C, B, A, M), aend (M, move (A, B) M, M).?- hanoi (, A, B, C, L). L = move (A,C), move (A,B), move (C,B) Solutions for a given size differ only on name of the egs. There are two (recursive) calls of the same size. Calling with free variables gives the most general answer. Memoing answer and recovering it adjusting variables in the answer to match those in the call avoids recomuting answer. Length of answer in order of comutation stes, so constant seedu exected. Exerimentally, 3-fold seedu by adding :- table hanoi/5. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 5 / 45 fib (0) := 0. fib () :=. fib (N) := fib (N -) + fib (N -) :- N >. Comuting fib(n-) includes the comutation of fib(n-). Memoing answers greatly seeds u comutation. :- table fib/. reduces comlexity from exonential (O(( + 5 ) n )) to linear! Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 6 / 45
5 Tabling Basics Tabling Basics Towards Tabling: Termination Issues Towards Tabling: Termination Issues ath (A, B): - edge (A, C), ath (C, B). ath (A, B): - edge (A, B). a b c ath (A, B): - edge (A, C), ath (C, B). ath (A, B): - edge (A, B). a b c edge (a, b). edge (b, a). edge (b, c). edge (a, b). edge (b, a). edge (b, c). Logical reading: There is a ath from A to B if they are directly connected by edges. There is a ath from A to B if there is an edge from A to C and a connection from A to B. Question: Which nodes are reachable from a??- ath(a, X). Standard Prolog (SLD) strategy leads to loos:?- ath (a, X). edge (a, C ), ath (C, X) edge (a, b), ath (b, X) edge(a, b), edge (b, C ), ath (C, X) edge(a, b), edge (b, a), ath(a, X) Initial reaction: carry around list of visited nodes. But: is it necessary? What is wrong with the rogram? Does not it recisely secify the meaning of being reachable? Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 7 / 45 Tabling Basics Towards Tabling: Bottom-U Evaluation Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 8 / 45 Tabling Basics Towards Tabling: Bottom-U Evaluation Read the rogram as logic: ath (A, B) edge (A, C) ath (C, B). ath (A, B) edge (A, B). a b c ath (A, B) edge (A, C) ath (C, B). ath (A, B) edge (A, B). edge (a, b). edge (b, a). edge (b, c). a b c edge (a, b). edge (b, a). edge (b, c). From {edge(a, b), edge(b, a), edge(b, c)} and ath(a, B) edge(a, B) infer {ath(a, b), ath(b, a), ath(b, c)} using ath(a, B) edge(a, C) ath(c, B) infer {ath(a, a), ath(b, b), ath(a, c)} Nothing more can be inferred. The meaning of the rogram is: {edge(a, b), edge(b, a), edge(b, c), ath(a, b), ath(b, a), ath(b, c), ath(a, a), ath(b, b), ath(a, c)} Note that: We have not changed the rogram (no visited node list). But: we wanted to find out which nodes are reachable from node a and we comuted much more. We actually comuted the least fixoint of the rogram (its standard semantics). Other alications could reuire the greatest fixoint. More on bottom-u evaluation surely in the Deductive Databases talk. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 9 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 0 / 45
6 Tabling Basics Tabling Basics Towards Tabling: Susending and Resuming Tabled Evaluation ath (A, B) :- edge (A, C), ath (C, B). ath (A, B) :- edge (A, B). edge (a, b). edge (b, a). edge (b, c). Challenge: a goal-directed (to-down) strategy which Detects loos. a b c Derives only the conseuences necessary for to-down execution. Idea: when we have :-,, r.. and the call to is reeated (enters loo): Susend the comutation before calling. Use the fact to generate a solution to the original uery. 3 Use this solution to resume the susended comutation. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS / 45 Examle :- table /. (A) :-, (B), A =. (A) :- A =. Subgoal Answers 4. A =. (A) 8. A = 3. Comlete 6. (), A =. 7. A =.. (B), A =. Susension. (A).., (B), A =. 0. (), A =.. A =.. fail 3. A =. Linear tabling uses recomutation instead of susension. 5. A =.? (A). 9. A =. 4. no. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS / 45 Parsing Let us assume inut has been tokenized Arithmetic terms exr exr + term exr term term term * fact term fact fact ( exr ) fact int ( Int ) Examles of strings we want to arse: String Evaluates to * * 4 4 ( + 3) * 4 0 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45
7 Parsing (Cont.) Attemt of a Prolog arser for the revious grammar exr exr + term term term term * fact fact fact ( exr ) int ( Int ) exr (S0,S) :- exr (S0,S), S = + S, term (S,S). exr (S0,S) :- term (S0,S). term (S0,S) :- term (S0,S), S = * S, fact (S,S). term (S0,S) :- fact (S0,S). fact (S0,S) :- S0 = ( S, exr (S,S), S = ) S. fact (S0,S) :- S0 = N S, integer (N). exr(i, R) means: R is a suffix of I, and the refix of I w.r.t. R is a valid exression. Comlete arsing:?- exr(inut, ).?- exr (3, +, 4, *, R). R = * R = +,4,* Parsing (Cont.) Parsing in action exr (S0,S) :- exr (S0,S), S = + S, term (S,S). exr (S0,S) :- term (S0,S). term (S0,S) :- term (S0,S), S = * S, fact (S,S). term (S0,S) :- fact (S0,S). fact (S0,S) :- S0 = ( S, exr (S,S), S = ) S. fact (S0,S) :- S0 = N S, integer (N).?- exr(3, ). (wait forever) What is haening??- exr (3, ). exr(3, S ), S = + S, term (S, ) exr(3, S ), S = + S, term (S, S ), S = + S, Prolog rovides a secific syntax to write arsers, closer to the notation. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 5 / 45 Parsing (Cont.) A left-recursive rule exr (S0,S) :- exr (S0,S), S = + S, term (S,S). generates a reeated comutation and a loo. Tabling left-recursive rules amends this roblem: :- table exr /, term /. Then:?- exr (3, +, 4, *, ). no?- exr (3, +, 4, *, 7, ). yes?- exr ( (, 3, +, 4, ), *, 7, ). yes?- E = _,_,_,_,_,_,_,_, exr (E, ). no Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 6 / 45 Tabling and Parsing Tabling + a recursive descendant arser (like the one we have resented) imlements an Earley arsing: The Earley arser is a tye of chart arser mainly used for arsing in comutational linguistics, named after its inventor, Jay Earley. The algorithm uses dynamic rogramming. Wikiedia Earley arsers arse all context-free grammars: Comlexity O(n 3 ) for ambiguous grammars. Comlexity O(n ) for unambiguous grammars Linear for a large class of grammars. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 7 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 8 / 45
8 For Comleteness: Earley Parser f u n c t i o n EARLEY PARSE( words, grammar ) ENQUEUE( ( γ S, 0, 0 ), c h a r t 0 ) f o r i from 0 to LENTH( words ) do f o r each s t a t e i n c h a r t i do i f INCOMPLETE?( s t a t e ) then i f NEXT CAT( s t a t e ) i s a n o n t e r m i n a l then PREDICTOR( s t a t e ) // non t e r m i n a l e l s e do SCANNER( s t a t e ) // t e r m i n a l e l s e do COMPLETER( s t a t e ) end end r e t u r n c h a r t r o c e d u r e PREDICTOR ( (A α B, i, j ) ), f o r each (B γ ) i n RAMMAR RULES FOR(B, grammar ) do ENQUEUE( (B γ, j, j ), c h a r t j ) end r o c e d u r e SCANNER( (A α B, i, j ) ), i f B PARTS OF SPEECH( word j ) then ENQUEUE( (B word j, j, j + ), c h a r t j + ) end r o c e d u r e COMPLETER( (B γ, j, k ) ), f o r each (A α Bβ, i, j ) i n c h a r t ( j ) do ENQUEUE( (A αb β, i, k ), c h a r t k ) end Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 9 / 45 Automatic Dynamic Programming Automatic Dynamic Programming Kna-sack roblem: given n items of integer size k i ( i n), and a kna-sack size K: Determine whether there is a subset of the items that sums to K. Find such a subset we are not maximizing / minimizing. Program: try all items (n, n,..., ) and decide, for each item, whether to include it or not. ks (0,0). ks(i,k) :- I >0, %% Ski item Ith I is I -, ks(i,k). ks(i,k) :- I >0, %% Include item Ith item_size (I,Ki), K is K-Ki, K >= 0, I is I -, ks(i,k ). item_size (,). item_size (,3). item_size (3,5). item_size (4,6). Worst-case comlexity is n. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 30 / 45 Knasack and (again) rah Traversal A tabling solution to the knasack roblem: :- table ks/. ks (0,0). ks(i,k) :- I >0, I is I -, ks(i,k). ks(i,k) :- I >0, item_size (I,Ki), K is K-Ki, K >= 0, I is I -, ks(i,k ). item_size (,). item_size (,3). item_size (3,5). item_size (4,6). Worst-case comlexity is O(nK). Intuitition: for every n and every number smaller than or eual to K, we check only once whether it succeeds or fails. add I I 0 I I I n I n add add I add add I n add Decision at every node vs. incrementally building a transitive closure. In fact, Knasack solution very similar to grah traversal. Many roblems very similar to grah traversals or directly grah traversal. E.g., model checking. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 3 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 3 / 45
9 For Comleteness: Udi Manber Procedural Version Tabling: Reca and Big Picture Tabling terminates and is comlete for all calls with the bounded-term-deth roerty (those for which there is a bound on the size of the terms which can be generated). Tabling comutes a fix oint (the least fix oint) for tabled redicates in a goal-driven way. Imroves efficiency (automatic dynamic rogramming). Imroves termination. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 33 / 45 Tabling: Reca and Big Picture Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 34 / 45 It is not comlete (naturally) for rograms with an infinite least fixoint: n (0). n(s(x)): - n(x).?- n(x), X = a. It terminates for rograms which loo due to reeated calls. Advanced Tabling Caabilities n(s(x)): -?- n(x). n(x). It may not terminate for rograms without bound term deth roerty: (X): - (s(x )).?- (X). Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 35 / 45
10 Advanced Tabling Caabilities Advanced Tabling Caabilities Variant vs. Subsumtion Tabling Variant vs. Subsumtion Tabling (Cont.) (f(y),x,) and (f(z),u,) are variants as one can be made to look like the other by a renaming of the variables. Let us have t : (f(y),x,) and t : (f(z),z,). We can rename variables in t to become t, but not the other way around. They are not variants. t subsumes (is more general than) t. Call Variance vs Call Subsumtion: Either Variance or Subsumtion can be used to check if we are executing a new tabled call. Answer Variance vs Answer Subsumtion: Either Variance or Subsumtion can be used to check if we have comuted a new answer for a tabled redicate. Variant Tabling: More efficient table look-u. Better for side-effects. Useful for goal-directed ueries and meta-interreters. Subsumtion Tabling: Can avoid more recomutation (catches more similarities). Better termination: :- table s / as subsumtive. (X) :- (s(x )). Can save sace in internal tables. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 37 / 45 Advanced Tabling Caabilities Variant vs. Subsumtion Tabling (Cont.) Subsumtion can be arametric It is natural to use syntactical subsumtion. However, from a more semantic / knowledge reasoning oint of view, terms may have an interretation from which subsumtion can be inferred. E.g., the term X > 3 subsumes X = 4 in the arithmetic domain. is(some animal, dog) is subsumed by belongs(some animal, mammal). Lattice for subsumtion check. Also in abstract interretation: relations in lattice of abstract domain encoded in subsumtion lattice. Remember tabling comutes a fixoint. Basically, what an abstract interreter does! (and the mechanism is not very different) Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 38 / 45 Advanced Tabling Caabilities Negation and Well-Founded Semantics ives semantics for all normal logic rograms. It allows logic rograms to adeuately handle inconsistencies and araconsistencies, for examle: The village barber shaves everyone in the village who does not shave himself. shaves ( barber, Person ): - villager ( Person ), not shaves ( Person, Person ). shaves ( doctor, doctor ). % Play with this villager ( barber ). villager ( doctor ). villager ( mayor ).?- shaves (X, Y). Alications: verification, Flora-, medical informatics... Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 39 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 40 / 45
11 Imlementation Break Imlementation Break X Imlementation Break Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Imlementation Break CHAT AREA Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45
12 Imlementation Break Imlementation Break X CHAT AREA 3 CHAT AREA C r s Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Imlementation Break Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Imlementation Break 3 CHAT AREA X CHAT AREA C r C 3 r C 3 s s Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45
13 Imlementation Break Imlementation Break CHAT AREA C 3 CHAT AREA r C 3 r C 3 s s Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 4 / 45 Oen Research Toics Oen Research Toics Oen Research Toics Pruning of Answer-On-Demand Tabling. Subsumtive tabling with constraints. Pruning of revious subsumed calls. Call abstraction. Parallelism. Table comression. Side-effects. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 44 / 45
14 Oen Research Toics Thanks Parts of this resentation draw from material from: Terrance Swift (CENTRIA, Universidade Nova de Lisboa) David S. Warren (NYU at Stony Brook) to whom we thank. Carro, Chico de uzmán (IMDEA,UPM) Tabling and alications Prometidos SS 45 / 45
Measuring Distributed Durations with Stable Errors
Measuring Distributed Durations with Stable Errors António Casimiro Pedro Martins Paulo Veríssimo Luís Rodrigues Faculdade de Ciências da Universidade de Lisboa Bloco C5, Camo Grande, 1749-016 Lisboa,
More informationLinear Tabling Strategies and Optimization Techniques
Linear Tabling Strategies and Optimization Techniques Neng-Fa Zhou CUNY Brooklyn College and Graduate Center Summary Tabling is a technique that can get rid of infinite loops and redundant computations
More informationProbLog Technology for Inference in a Probabilistic First Order Logic
From to ProbLog ProbLog Technology for Inference in a Probabilistic First Order Logic Luc De Raedt Katholieke Universiteit Leuven (Belgium) joint work with Maurice Bruynooghe, Theofrastos Mantadelis, Angelika
More informationChapter 8: Recursion
Chapter 8: Recursion Presentation slides for Java Software Solutions for AP* Computer Science 3rd Edition by John Lewis, William Loftus, and Cara Cocking Java Software Solutions is published by Addison-Wesley
More informationSpectrum: Retrieving Different Points of View from the Blogosphere
Sectrum: Retrieving Different Points of View from the Blogoshere Jiahui Liu, Larry Birnbaum, and Bryan Pardo Northwestern University Intelligent Information Laboratory 2133 Sheridan Road, Evanston, IL,
More informationProgramming in Logic: Prolog
Programming in Logic: Prolog Introduction Reading: Read Chapter 1 of Bratko MB: 26 Feb 2001 CS 360 - Lecture 1 1 Overview Administrivia Knowledge-Based Programming Running Prolog Programs Prolog Knowledge
More informationCOMMONWEALTH OF VIRGINIA STATE CORPORATION COMMISSION AT RICHMOND, FEBRUARY 25, 2019
COMMONWEALTH OF VIRGINIA STATE CORPORATION COMMISSION AT RICHMOND, FEBRUARY 25, 2019 W a PETITION OF WAL-MART STORES EAST, LP and SAM'S EAST, INC. CAS For ermission to aggregate or combine demands of two
More informationA Note on the Optimal Punishment for Repeat Offenders
forthcoming in International Review of Law and Economics A Note on the Otimal Punishment for Reeat Offenders Winand Emons University of Bern and CEPR revised May 2002 Abstract Agents may commit a crime
More informationMixed-Strategies for Linear Tabling in Prolog
Mixed-Strategies for Linear Tabling in Prolog CRACS & INESC-Porto LA Faculty of Sciences, University of Porto, Portugal miguel-areias@dcc.fc.up.pt ricroc@dcc.fc.up.pt INForum-CoRTA 2010, Braga, Portugal,
More informationEstimating the Margin of Victory for Instant-Runoff Voting
Estimating the Margin of Victory for Instant-Runoff Voting David Cary Abstract A general definition is proposed for the margin of victory of an election contest. That definition is applied to Instant Runoff
More informationCentralized and decentralized of provision of public goods
Discussion Paer No. 41 Centralized and decentralized of rovision of ublic goods Janos Feidler* Klaas Staal** July 008 *Janos Feidler, University Bonn **Klaas Staal, University Bonn and IIW, Lennestr. 37,
More informationSolutions of Implication Constraints yield Type Inference for More General Algebraic Data Types
Solutions of Implication Constraints yield Type Inference for More General Algebraic Data Types Peter J. Stuckey NICTA Victoria Laboratory Department of Computer Science and Software Engineering The University
More informationMidterm Review. EECS 2011 Prof. J. Elder - 1 -
Midterm Review - 1 - Topics on the Midterm Ø Data Structures & Object-Oriented Design Ø Run-Time Analysis Ø Linear Data Structures Ø The Java Collections Framework Ø Recursion Ø Trees Ø Priority Queues
More informationLecture 7: Decentralization. Political economy of decentralization is a hot topic. This is due to a variety of policiy initiatives all over the world
Lecture 7: Decentralization Political economy of decentralization is a hot toic This is due to a variety of oliciy initiatives all over the world There are a number of reasons suggested for referring a
More informationLogic-based Argumentation Systems: An overview
Logic-based Argumentation Systems: An overview Vasiliki Efstathiou ITI - CERTH Vasiliki Efstathiou (ITI - CERTH) Logic-based Argumentation Systems: An overview 1 / 53 Contents Table of Contents Introduction
More informationECE250: Algorithms and Data Structures Trees
ECE250: Algorithms and Data Structures Trees Ladan Tahvildari, PEng, SMIEEE Professor Software Technologies Applied Research (STAR) Group Dept. of Elect. & Comp. Eng. University of Waterloo Materials from
More informationDiversionary Incentives and the Bargaining Approach to War
International Studies Quarterly (26) 5, 69 88 Diversionary Incentives and the Bargaining Aroach to War AHMERTARAR Texas A&M University I use a game theoretic model of diversionary war incentives to hel
More informationConstraint satisfaction problems. Lirong Xia
Constraint satisfaction problems Lirong Xia Spring, 2017 Project 1 Ø You can use Windows Ø Read the instruction carefully, make sure you understand the goal search for YOUR CODE HERE Ø Ask and answer questions
More informationComparison Sorts. EECS 2011 Prof. J. Elder - 1 -
Comparison Sorts - 1 - Sorting Ø We have seen the advantage of sorted data representations for a number of applications q Sparse vectors q Maps q Dictionaries Ø Here we consider the problem of how to efficiently
More information30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture () Prof. Dr.
More informationAspect Decomposition: Model-Driven Architecture (MDA) 30 Transformational Design with Essential. References. Ø Optional: Ø Obligatory:
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture () Prof. Dr.
More informationHierarchical Item Response Models for Analyzing Public Opinion
Hierarchical Item Response Models for Analyzing Public Opinion Xiang Zhou Harvard University July 16, 2017 Xiang Zhou (Harvard University) Hierarchical IRT for Public Opinion July 16, 2017 Page 1 Features
More informationJournal of Public Economics
Journal of Public Economics 92 (2008) 2225 2239 Contents lists available at ScienceDirect Journal of Public Economics journal homeage: www.elsevier.com/locate/econbase The informational role of suermajorities
More informationECON 1000 Contemporary Economic Issues (Summer 2018) Government Failure
ECON 1 Contemorary Economic Issues (Summer 218) Government Failure Relevant Readings from the Required extbooks: Chater 11, Government Failure Definitions and Concets: government failure a situation in
More informationCHAPTER 16 INCONSISTENT KNOWLEDGE AS A NATURAL PHENOMENON:
CHAPTER 16 INCONSISTENT KNOWLEDGE AS A NATURAL PHENOMENON: THE RANKING OF REASONABLE INFERENCES AS A COMPUTATIONAL APPROACH TO NATURALLY INCONSISTENT (LEGAL) THEORIES Kees (C.N.J.) de Vey Mestdagh & Jaap
More informationThe political economy of publicly provided private goods
Journal of Public Economics 73 (1999) 31 54 The olitical economy of ublicly rovided rivate goods Soren Blomquist *, Vidar Christiansen a, b a Deartment of Economics, Usala University, Box 513, SE-751 0
More informationExplaining rational decision making by arguing
Francesca Toni Workshop on Decision Making, Toulouse, 2017 Department of Computing, Imperial College London, UK CLArg (Computational Logic and Argumentation) Group 1/25 Argumentation in AI Non-Monotonic
More information30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture () Prof. Dr.
More informationeconstor Make Your Publications Visible.
econstor Make Your Publications Visible. A Service of Wirtschaft Centre zbwleibniz-informationszentrum Economics Bös, Dieter; Kolmar, Martin Working Paer Anarchy, Efficiency, and Redistribution CESifo
More informationBribery in voting with CP-nets
Ann Math Artif Intell (2013) 68:135 160 DOI 10.1007/s10472-013-9330-5 Bribery in voting with CP-nets Nicholas Mattei Maria Silvia Pini Francesca Rossi K. Brent Venable Published online: 7 February 2013
More informationWUENIC A Case Study in Rule-based Knowledge Representation and Reasoning
WUENIC A Case Study in Rule-based Knowledge Representation and Reasoning Robert Kowalski 1 and Anthony Burton 21 1 Imperial College London, rak@doc.ic.ac.uk 2 World Health Organization, Geneva, burtona@who.int
More informationRethinking the Brain Drain
Deartment of Economics Discussion Paer 003-04 Rethining the Brain Drain Oded Star, University of Bonn; University of Vienna; and ESCE Economic and Social Research Center, Cologne and Eisenstadt May 003
More informationLecture 6 Cryptographic Hash Functions
Lecture 6 Cryptographic Hash Functions 1 Purpose Ø CHF one of the most important tools in modern cryptography and security Ø In crypto, CHF instantiates a Random Oracle paradigm Ø In security, used in
More informationFrom Argument Games to Persuasion Dialogues
From Argument Games to Persuasion Dialogues Nicolas Maudet (aka Nicholas of Paris) 08/02/10 (DGHRCM workshop) LAMSADE Université Paris-Dauphine 1 / 33 Introduction Main sources of inspiration for this
More informationDISCUSSION PAPER SERIES. Schooling Forsaken: Education and Migration. IZA DP No Ilhom Abdulloev Gil S. Epstein Ira N. Gang
DISCUSSION PAPER SERIES IZA DP No. 12088 Schooling Forsaken: Education and Migration Ilhom Abdulloev Gil S. Estein Ira N. Gang JANUARY 2019 DISCUSSION PAPER SERIES IZA DP No. 12088 Schooling Forsaken:
More informationEvent Based Sequential Program Development: Application to Constructing a Pointer Program
Event Based Sequential Program Development: Application to Constructing a Pointer Program Jean-Raymond Abrial Consultant, Marseille, France jr@abrial.org Abstract. In this article, I present an event approach
More informationComplexity of Manipulating Elections with Few Candidates
Complexity of Manipulating Elections with Few Candidates Vincent Conitzer and Tuomas Sandholm Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 {conitzer, sandholm}@cs.cmu.edu
More informationInefficient Lobbying, Populism and Oligarchy
Public Disclosure Authorized Inefficient Lobbying, Poulism and Oligarchy Public Disclosure Authorized Public Disclosure Authorized Filie R. Camante and Francisco H. G. Ferreira February 18, 2004 Abstract
More informationCollective Decisions, Error and Trust in Wireless Networks
Collective Decisions, Error and Trust in Wireless Networks Arnold B. Urken Professor of Political Science Wireless Network Security Center Stevens Institute of Technology aurken@stevens.edu This research
More informationHydro Multi-E horizontal 2 pump multi-stage booster set
ydro MultiE A flexible family of energy efficient and user friendly, and um variable seed booster sets for commercial and industrial alications. ydro MultiE ydro MultiE CME horizontal um multistage booster
More informationPROJECTION OF NET MIGRATION USING A GRAVITY MODEL 1. Laboratory of Populations 2
UN/POP/MIG-10CM/2012/11 3 February 2012 TENTH COORDINATION MEETING ON INTERNATIONAL MIGRATION Population Division Department of Economic and Social Affairs United Nations Secretariat New York, 9-10 February
More informationSequential Voting with Externalities: Herding in Social Networks
Sequential Voting with Externalities: Herding in Social Networks Noga Alon Moshe Babaioff Ron Karidi Ron Lavi Moshe Tennenholtz February 7, 01 Abstract We study sequential voting with two alternatives,
More informationCoalitional Game Theory
Coalitional Game Theory Game Theory Algorithmic Game Theory 1 TOC Coalitional Games Fair Division and Shapley Value Stable Division and the Core Concept ε-core, Least core & Nucleolus Reading: Chapter
More informationPriority Queues & Heaps
Priority Queues & Heaps - 1 - Outline Ø The Priority Queue class of the Java Collections Framework Ø Total orderings, the Comparable Interface and the Comparator Class Ø Heaps Ø Adaptable Priority Queues
More informationGraph Structurings. 16. How to Structure Large Models - Obligatory Reading. Ø T. Fischer, Jörg Niere, L. Torunski, and Albert Zündorf, 'Story
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 16. How to Structure Large Models - Graph Structurings Prof. Dr. U. Aßmann Technische Universität Dresden
More informationPALM BEACH COUNTY BOARD OF COUNTY COMMISSIONERS BOARD APPOINTMENT SUMMARY ==-=-=-=-'=====-- - =======---========= L EXECUTIVE BRIEF
PALM BEACH COUNTY BOARD OF COUNTY COMMSSONERS Agenda tem# ~ 411111' ~ BOARD APPONTMENT SUMMARY ======== -==--------------------- Meeting Date: December 17, 2013 Deartment: Submitted By: Advisory Board
More informationA Skeleton-Based Model for Promoting Coherence Among Sentences in Narrative Story Generation
A Skeleton-Based Model for Promoting Coherence Among Sentences in Narrative Story Generation Jingjing Xu, Xuancheng Ren, Yi Zhang, Qi Zeng, Xiaoyan Cai, Xu Sun MOE Key Lab of Computational Linguistics,
More informationCONTEXT ANALYSIS AND HUMANITARIAN RESPONSE
CONTEXT ANALYSIS AN HUMANITARIAN RESPONSE OCHA Office for the Coordination of Humanitarian Affairs P.O. Box 38712 Jerusalem Phone: +972 (0)2 5829962 / 5825853 Fax: +972 (0)2 5825841 email: ochaot@un.org
More informationMidterm Review. EECS 2011 Prof. J. Elder - 1 -
Midterm Review - 1 - Topics on the Midterm Ø Data Structures & Object-Oriented Design Ø Run-Time Analysis Ø Linear Data Structures Ø The Java Collections Framework Ø Recursion Ø Trees Ø Priority Queues
More informationNational Programme for Estonian Language Technology: a Pre-final Summary
National Programme for Estonian Language Technology: a Pre-final Summary Einar Meister**, Jaak Vilo* & Neeme Kahusk*** **Vice-chairman, *Chairman & *** Coordinator of the Programme Outline HLT evolution
More informationHat problem on a graph
Hat problem on a graph Submitted by Marcin Piotr Krzywkowski to the University of Exeter as a thesis for the degree of Doctor of Philosophy by Publication in Mathematics In April 2012 This thesis is available
More informationMany-Valued Logics. A Mathematical and Computational Introduction. Luis M. Augusto
Many-Valued Logics A Mathematical and Computational Introduction Luis M. Augusto Individual author and College Publications 2017 All rights reserved. ISBN 978-1-84890-250-3 College Publications Scientific
More informationDevelopment of a Background Knowledge-Base about Transportation and Smuggling
Development of a Background Knowledge-Base about Transportation and Smuggling Richard Scherl Computer Science Department Monmouth University West Long Branch, NJ 07764 rscherl@monmouth.edu Abstract This
More informationHASHGRAPH CONSENSUS: DETAILED EXAMPLES
HASHGRAPH CONSENSUS: DETAILED EXAMPLES LEEMON BAIRD BAIRD@SWIRLDS.COM DECEMBER 11, 2016 SWIRLDS TECH REPORT SWIRLDS-TR-2016-02 ABSTRACT: The Swirlds hashgraph consensus algorithm is explained through a
More informationPriority Queues & Heaps
Priority Queues & Heaps Chapter 8-1 - The Java Collections Framework (Ordered Data Types) Interface Abstract Class Class Iterable Collection Queue Abstract Collection List Abstract Queue Abstract List
More informationPriority Queues & Heaps
Priority Queues & Heaps - 1 - Outline Ø The Priority Queue ADT Ø Total orderings, the Comparable Interface and the Comparator Class Ø Heaps Ø Adaptable Priority Queues - 2 - Outcomes Ø By understanding
More informationarxiv: v1 [cs.cc] 29 Sep 2015
Often harder than in the Constructive Case: Destructive Bribery in CP-nets Britta Dorn 1, Dominikus Krüger 2, and Patrick Scharpfenecker 2 arxiv:1509.08628v1 [cs.cc] 29 Sep 2015 1 Faculty of Science, Dept.
More informationMeta Programming (8A) Young W. Lim 3/10/14
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationVoting. Suppose that the outcome is determined by the mean of all voter s positions.
Voting Suppose that the voters are voting on a single-dimensional issue. (Say 0 is extreme left and 100 is extreme right for example.) Each voter has a favorite point on the spectrum and the closer the
More informationThe Effectiveness of Receipt-Based Attacks on ThreeBallot
The Effectiveness of Receipt-Based Attacks on ThreeBallot Kevin Henry, Douglas R. Stinson, Jiayuan Sui David R. Cheriton School of Computer Science University of Waterloo Waterloo, N, N2L 3G1, Canada {k2henry,
More informationEndogenous Political Institutions
Endogenous Political Institutions Philie Aghion, Alberto Alesina 2 and Francesco Trebbi 3 This version: August 2002 Harvard University, University College London, and CIAR 2 Harvard University, NBER and
More informationExtensional Equality in Intensional Type Theory
Extensional Equality in Intensional Type Theory Thorsten Altenkirch Department of Informatics University of Munich Oettingenstr. 67, 80538 München, Germany, alti@informatik.uni-muenchen.de Abstract We
More informationThe Integer Arithmetic of Legislative Dynamics
The Integer Arithmetic of Legislative Dynamics Kenneth Benoit Trinity College Dublin Michael Laver New York University July 8, 2005 Abstract Every legislature may be defined by a finite integer partition
More informationImmigration and Internal Mobility in Canada Appendices A and B. Appendix A: Two-step Instrumentation strategy: Procedure and detailed results
Immigration and Internal Mobility in Canada Appendices A and B by Michel Beine and Serge Coulombe This version: February 2016 Appendix A: Two-step Instrumentation strategy: Procedure and detailed results
More informationCHAPTER BYLAWS. A Preferred Standard. An Analysis on Writing Chapter Bylaws. Appendix A: Model Bylaws. Appendix B: Bylaws Checklist
CHAPTER BYLAWS A Preferred Standard Contents An Analysis on Writing Chapter Bylaws Appendix A: Model Bylaws Appendix B: Bylaws Checklist Appendix C: How to Compile a Single Governance Document F-21 (06/17)
More informationDecomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP Sibylle Fröschle and Sławomir Lasota Institute of Informatics, Warsaw University 02 097 Warszawa, Banacha 2, Poland sib,sl
More informationJelmer Kamstra a, Luuk Knippenberg a & Lau Schulpen a a Department of Cultural Anthropology and Development Studies,
This article was downloaded by: [Radboud Universiteit Nijmegen] On: 29 November 2013, At: 07:24 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office:
More informationCyber-Physical Systems Scheduling
Cyber-Physical Systems Scheduling ICEN 553/453 Fall 2018 Prof. Dola Saha 1 Quick Recap 1. What characterizes the memory architecture of a system? 2. What are the issues with heaps in embedded/real-time
More informationLesson 25: Discussing Agenda / Problems (20-25 minutes)
Main Topic 3: Meetings Lesson 25: Discussing Agenda / Problems (20-25 minutes) Today, you will: 1. Learn useful vocabulary related to DISCUSSING AGENDA/PROBLEMS 2. Review Subordinating Conjunctions I.
More informationHow to identify experts in the community?
How to identify experts in the community? Balázs Sziklai XXXII. Magyar Operációkutatás Konferencia, Cegléd e-mail: sziklai.balazs@krtk.mta.hu 2017. 06. 15. Sziklai (CERS HAS) 1 / 34 1 Introduction Mechanism
More informationinternationalization of inventive activity
Inventor diasporas and the Sevilla 19-20 September 2013 internationalization of inventive activity "The Output of R&D activities: Harnessing the Power of Patents Data" Ernest Miguélez Economics and Statistics
More informationarxiv: v5 [cs.gt] 21 Jun 2014
Schulze and Ranked-Pairs Voting Are Fixed-Parameter Tractable to Bribe, Manipulate, and Control arxiv:1210.6963v5 [cs.gt] 21 Jun 2014 Lane A. Hemaspaandra, Rahman Lavaee Department of Computer Science
More informationHoboken Public Schools. Algebra II Honors Curriculum
Hoboken Public Schools Algebra II Honors Curriculum Algebra Two Honors HOBOKEN PUBLIC SCHOOLS Course Description Algebra II Honors continues to build students understanding of the concepts that provide
More informationPROFESSIONAL PROGRAMME UPDATES FOR INTELLECTUAL PROPERTY RIGHTS: LAWS AND PRACTICES MODULE 3- ELECTIVE PAPER 9.4
PROFESSIONAL PROGRAMME UPDATES FOR INTELLECTUAL PROPERTY RIGHTS: LAWS AND PRACTICES (Relevant for students appearing in June, 2018 examination) MODULE 3- ELECTIVE PAPER 9.4 Disclaimer: This document has
More informationArguments and Artifacts for Dispute Resolution
Arguments and Artifacts for Dispute Resolution Enrico Oliva Mirko Viroli Andrea Omicini ALMA MATER STUDIORUM Università di Bologna, Cesena, Italy WOA 2008 Palermo, Italy, 18th November 2008 Outline 1 Motivation/Background
More informationCS 5523 Operating Systems: Synchronization in Distributed Systems
CS 5523 Operating Systems: Synchronization in Distributed Systems Instructor: Dr. Tongping Liu Thank Dr. Dakai Zhu and Dr. Palden Lama for providing their slides. Outline Physical clock/time in distributed
More informationAn Approach to Legal Ontologies: the Case-Based Reasoning Perspective
JURIX 2008 Workshop on Approaches to Legal Ontologies Kevin D. Ashley. 2008 1 An Approach to Legal Ontologies: the Case-Based Reasoning Perspective Kevin D. Ashley Professor of Law and Intelligent Systems
More informationGame Theory and the Law: The Legal-Rules-Acceptability Theorem (A rationale for non-compliance with legal rules)
Game Theory and the Law: The Legal-Rules-Acceptability Theorem (A rationale for non-compliance with legal rules) Flores Borda, Guillermo Center for Game Theory in Law March 25, 2011 Abstract Since its
More informationApproval Voting Theory with Multiple Levels of Approval
Claremont Colleges Scholarship @ Claremont HMC Senior Theses HMC Student Scholarship 2012 Approval Voting Theory with Multiple Levels of Approval Craig Burkhart Harvey Mudd College Recommended Citation
More informationTowards a Structured Online Consultation Tool
Towards a Structured Online Consultation Tool Adam Wyner, Katie Atkinson, and Trevor Bench-Capon University of Liverpool, Liverpool, L69 3BX, UK, {azwyner,katie,tbc}@liverpool.ac.uk, http://www.csc.liv.ac.uk/
More informationSPECIAL POPULATIONS TRAININGS (2 PARTS)
SPECIAL POPULATIONS TRAININGS (2 PARTS) Title 42 of US Code, Chapter 6A, Section 254b Community Health (E) Migrant (G) Homeless (H) Public Housing (I) 1996 Health Centers Consolidation Act Public Health
More informationOn modelling burdens and standards of proof in structured argumentation
On modelling burdens and standards of proof in structured argumentation Henry PRAKKEN a, Giovanni SARTOR b a Department of Information and Computing Sciences, Utrecht University and Faculty of Law, University
More informationInefficient lobbying, populism and oligarchy
Inefficient lobbying, oulism and oligarchy The Harvard community has made this article oenly available. Please share how this access benefits you. Your story matters Citation Camante, Filie R., and Francisco
More informationHoboken Public Schools. Project Lead The Way Curriculum Grade 8
Hoboken Public Schools Project Lead The Way Curriculum Grade 8 Project Lead The Way HOBOKEN PUBLIC SCHOOLS Course Description PLTW Gateway s 9 units empower students to lead their own discovery. The hands-on
More informationTable Annexed to Article: What the Polar Bears Taught the Cops
Purdue University From the SelectedWorks of Peter J. Aschenbrenner July, 2012 Table Annexed to Article: What the Polar Bears Taught the Cops Peter J. Aschenbrenner, Purdue University Available at: https://works.bepress.com/peter_aschenbrenner/106/
More informationConsolidated Appeals Process (CAP) The CAP is much more than an appeal for money. It is an inclusive and coordinated programme cycle of:
UNICEF/Steve Sabella/oPt/2005 Consolidated Aeals Process (CAP) The CAP is much more than an aeal for money. It is an inclusive and coordinated rogramme cycle of: strategic lanning leading to a Common Humanitarian
More informationNEW YORK CITY COLLEGE OF TECHNOLOGY The City University of New York
NEW YORK CITY COLLEGE OF TECHNOLOGY The City University of New York DEPARTMENT: Mathematics COURSE: MAT 2440/ MA 440 TITLE: DESCRIPTION: TEXTS: Discrete Structures and Algorithms I This course introduces
More informationCongress Lobbying Database: Documentation and Usage
Congress Lobbying Database: Documentation and Usage In Song Kim February 26, 2016 1 Introduction This document concerns the code in the /trade/code/database directory of our repository, which sets up and
More informationSearch Trees. Chapter 10. CSE 2011 Prof. J. Elder Last Updated: :51 PM
Search Trees Chapter 1 < 6 2 > 1 4 = 8 9-1 - Outline Ø Binary Search Trees Ø AVL Trees Ø Splay Trees - 2 - Binary Search Trees Ø A binary search tree is a binary tree storing key-value entries at its internal
More informationArgumentation Schemes for Reasoning about Factors with Dimensions
Argumentation Schemes for Reasoning about Factors with Dimensions Katie ATKINSON 1, Trevor BENCH-CAPON 1 Henry PRAKKEN 2, Adam WYNER 3, 1 Department of Computer Science, The University of Liverpool, England
More informationQuestions and Answers for POS Facilitated Enrollment Administered by WellPoint, Inc. Submission Guidelines. Frequently Asked Questions
The Point of Sale (POS)-Facilitated Enrollment program is being administered by WellPoint, Inc. Claims will be processed under BIN 610575 for Anthem Prescription Management. The following is a list of
More informationTesting Export-Led Growth in Bangladesh: An ARDL Bounds Test Approach
Testing Exort-Led Growth in Bangladesh: An ARDL Bounds Test Aroach Biru Paksha Paul Abstract Existing literature on exort-led growth for develoing countries is voluminous but inconclusive. The emerging
More information16. How to Structure Large Models and Programs with Graph Structurings
Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - 16. How to Structure Large Models and Programs with Graph Structurings Prof. Dr. U. Aßmann Technische
More informationI. MODEL Q1 Q2 Q9 Q10 Q11 Q12 Q15 Q46 Q101 Q104 Q105 Q106 Q107 Q109. Stepwise Multiple Regression Model. A. Frazier COM 631/731 March 4, 2014
1 Stepwise Multiple Regression Model I. MODEL A. Frazier COM 631/731 March 4, 2014 IV ((X1 Xn) Q1 Q2 Q9 Q10 Q11 Q12 Q15 Q46 Q101 Q104 Q105 Q106 Q107 Q109 DV (Y) Political Participation 2 Variables DV Political
More informationGeorge Mason University School of Law
George Mason University School of Law Working Paper Series Year 2004 Paper 10 The Unsolvable Dilemma of a Paretian Policymaker Giuseppe Dari-Mattiacci Nuno Garoupa Universiteit van Amsterdam & George Mason
More informationA logic for making hard decisions
A logic for making hard decisions Roussi Roussev and Marius Silaghi Florida Institute of Technology Abstract We tackle the problem of providing engineering decision makers with relevant information extracted
More informationRandom Forests. Gradient Boosting. and. Bagging and Boosting
Random Forests and Gradient Boosting Bagging and Boosting The Bootstrap Sample and Bagging Simple ideas to improve any model via ensemble Bootstrap Samples Ø Random samples of your data with replacement
More informationLegislation as Logic Programs *
Legislation as Logic Programs * Robert A. Kowalski Department of Computing Imperial College of Science, Technology and Medicine London SW7 2BZ, UK January 1991 Revised June 1992 Abstract. The linguistic
More informationData 100. Lecture 9: Scraping Web Technologies. Slides by: Joseph E. Gonzalez, Deb Nolan
Data 100 Lecture 9: Scraping Web Technologies Slides by: Joseph E. Gonzalez, Deb Nolan deborah_nolan@berkeley.edu hellerstein@berkeley.edu? Last Week Visualization Ø Tools and Technologies Ø Maplotlib
More informationCOSC-282 Big Data Analytics. Final Exam (Fall 2015) Dec 18, 2015 Duration: 120 minutes
Student Name: COSC-282 Big Data Analytics Final Exam (Fall 2015) Dec 18, 2015 Duration: 120 minutes Instructions: This is a closed book exam. Write your name on the first page. Answer all the questions
More information