Filters








166,363 Hits in 2.0 sec

Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings [chapter]

Nate Soares, Benja Fallenstein
2015 Lecture Notes in Computer Science  
We discuss two attempts to formalize a decision theory using counterpossibles, one based on graphical models and another based on proof search.  ...  It goes on to discuss two attempts to formalize such a decision theory, one using graphical models and another using proof search. Section 4 concludes.  ...  In this case, if the agent cooperates then so will the opponent, so there is a proof of A() = C → E() = 2 , and so UDT selects C.  ... 
doi:10.1007/978-3-319-21365-1_17 fatcat:jcvcvpcmwnaxzct2f52cntxvyy

Page 149 of The Journal of the Operational Research Society Vol. 49, Issue 2 [page]

1998 The Journal of the Operational Research Society  
Proof {fall positions are the same, none can be preferred to another.  ...  The following important theorem is essentially due to the fact that in the presence of differing positions, a player who attempts to be realistic is attempting to make some other player inducible.  ... 

Cooperation wins and stays

Manfred Milinski
1993 Nature  
He had already published proof of the special cases n = 3 and n = 4, but no one now supposes that he had a valid proof of the general result.  ...  unity, in the hope that this would lead to a proof of the theorem.  ... 
doi:10.1038/364012a0 pmid:8316291 fatcat:z7lpnaed5beg3cb2buprf3szr4

Search for mathematical proof in the Web environment as a process of creative collective discovery

Ioannis M. Vandoulakis, S.V. Ivanova, E.V. Nikulchev
2016 SHS Web of Conferences  
cooperation and collective effort to an unprecedented degree.  ...  Although cooperation and collective efforts have always played an important role in the process of scientific discovery, recent technological innovations, such as the Internet, facilitate and encourage  ...  They can undertake the role of a prover in their attempt to suggest an idea, argument or proof module, as well as the role of interpreter, whenever they attempt to understand, evaluate or dispute a purported  ... 
doi:10.1051/shsconf/20162901074 fatcat:hjtnucrrqzbktodkd2l5jnlhki

Experimental evidence for cooperation, an important process in evolution of complex systems

Mallikarjun Shakarad
2009 Indian Journal of Microbiology  
Kümmerli et al. have attempted to provide the empirical proof and have shown what form of dispersal would indeed favor evolution of cooperation [5] .  ...  type, suggesting that budding dispersal favored the evolution of cooperation.  ...  Kümmerli et al. have attempted to provide the empirical proof and have shown what form of dispersal would indeed favor evolution of cooperation  ... 
doi:10.1007/s12088-009-0051-8 pmid:23100786 pmcid:PMC3450014 fatcat:2hgubpqiwjafrj364pjcbjwbfi

The cooperative problem-solving process

M Wooldridge
1999 Journal of Logic and Computation  
plan formation -in which the newly formed collective attempts to construct an agreed joint plan; and finally, execution -in which members of the collective play out the roles they have negotiated.  ...  We present a model of cooperative problem solving that describes the process from its beginning, with some agent recognizing the potential for cooperation with respect to one of its goals, through to team  ...  Problem-Solving Process PROOF.  ... 
doi:10.1093/logcom/9.4.563 fatcat:5rlzsql2kbbznhzoha46c5gybm

Cooperative Problem Solving [chapter]

2014 Encyclopedia of Quality of Life and Well-Being Research  
plan formation -in which the newly formed collective attempts to construct an agreed joint plan; and finally, execution -in which members of the collective play out the roles they have negotiated.  ...  We present a model of cooperative problem solving that describes the process from its beginning, with some agent recognizing the potential for cooperation with respect to one of its goals, through to team  ...  Problem-Solving Process PROOF.  ... 
doi:10.1007/978-94-007-0753-5_100761 fatcat:u7mfpk3pizemtctjprfi2xvmya

Techniques Grading: Mastery Grading for Proofs Courses

Andrew A. Cooper
2020 PRIMUS - Problems, Resources, and issues in mathematics undergraduate studies  
In techniques grading, each objective assesses, in a binary (pass/fail) way, whether a student has mastered a specific proof technique.  ...  note, I describe my experiences using a mastery system, which I call techniques grading, which applies the insights behind the standards-based and specifications grading flavors of mastery grading to a proof-intensive  ...  Cooper Assess authentically. The standard for a S proof is an authentic one: is the proof complete and correct?  ... 
doi:10.1080/10511970.2020.1733151 fatcat:jnuzkdvmvvgirlmllxcpf56spm

Developing an Integrative Theoretical Framework for Climate Proofing Spatial Planning across Sectors, Policy Levels, and Planning Areas

Maria Juschten, Florian Reinwald, Roswitha Weichselbaumer, Alexandra Jiricka-Pürrer
2021 Land  
By specifically addressing the challenges relating to cross-regional and cross-sectoral planning, this novel framework attempts to discuss the (i) consideration of the hierarchy of climate proofing measures  ...  framework for climate proofing.  ...  Opportunities and challenges of integrative cooperation in climate proofing.  ... 
doi:10.3390/land10080772 fatcat:s6tymgtpwjhtngrek7ahuqeonu

Distributed Learning Algorithms for Spectrum Sharing in Spatial Random Access Wireless Networks

Kobi Cohen, Angelia Nedic, R. Srikant
2017 IEEE Transactions on Automatic Control  
Each user is allowed to transmit over a subset of the shared channels with a certain attempt probability. We study both the non-cooperative and cooperative settings.  ...  The proof is given in Appendix VII-B.  ...  We examined both the non-cooperative and cooperative settings.  ... 
doi:10.1109/tac.2016.2626578 fatcat:zddhhlp46vdzrlagojbzj55uam

The critical discount factor as a measure for cartel stability?

Lisa V. Bruttel
2008 Journal of Economics  
In such a case, we speak of a cooperative attempt.  ...  attempts in all 50 rounds.  ...  We present the proof only for treatment LOW, since all results become even clearer in HIGH.  ... 
doi:10.1007/s00712-008-0048-5 fatcat:zsxwc4lz5jfanoruum3g2ulxxu

An Analysis of Generalized Slotted-Aloha Protocols

R.T.B. Ma, V. Misra, D. Rubenstein
2009 IEEE/ACM Transactions on Networking  
If all nodes are selfish and greedily attempt to maximize their own throughput, a situation similar to the traditional Prisoner's Dilemma arises.  ...  The protocol is implemented as a two-state system, where the probability that a node transmits in a given slot depends on whether the node's prior transmission attempt was successful.  ...  The formal proof can be found in Appendix.  ... 
doi:10.1109/tnet.2008.925633 fatcat:jtnelsfmurdsle3tfyuhz75cqq

Experiments with an Agent-Oriented Reasoning System [chapter]

Christoph Benzmüller, Manfred Kerber, Mateja Jamnik, Volker Sorge
2001 Lecture Notes in Computer Science  
It particularly supports cooperative proofs between reasoning systems which are strong in different application areas, e.g., higher-order and first-order theorem provers and computer algebra systems.  ...  The approach combines ideas from two subfields of AI (theorem proving/proof planning and multi-agent systems) and makes use of state of the art distribution techniques to decentralise and spread its reasoning  ...  Only successful or promising proof attempts are allowed to continue searching for a proof. This process is repeated until a proof is found, or some other terminating condition is reached.  ... 
doi:10.1007/3-540-45422-5_29 fatcat:6twdpntxvbexxl5g7l5uc7tqru

An Information Secrecy Game in Cognitive Radio Networks

Yongle Wu, K. J. R. Liu
2011 IEEE Transactions on Information Forensics and Security  
eavesdropper attempting to decode primary users' messages.  ...  However, in this paper, we show that if information secrecy is a concern, primary users could actually be better off by allowing secondary users to cooperatively share the spectrum.  ...  Proof: See Appendix B. C.  ... 
doi:10.1109/tifs.2011.2144585 fatcat:giuzy3e2znehhlkz6v5z6vysue

Cooperative Antitrust Monopolization and the Theory of Contestable Markets

Terence J. Centner, Michael E. Wetzstein
1984 Southern Journal of Agricultural Economics  
This theory thereby offers agricultural cooperatives, which may have a large market share by reasons of the antitrust immunity provided by the Capper-Volstead Act, an argument to overcome allegations of  ...  The only proof reported by the court keting, and pricing arrangements available to in Dairymen that is responsive to the element cooperatives also may provide for relatively of monopoly power was evidence  ...  The cooperative in Dairymen was charged O'Hara notes that arguments concerning an-with attempted monopolization; the cooperatitrust monopolization show a dichotomy betive had explicitly intended to achieve  ... 
doi:10.1017/s0081305200016617 fatcat:oaub2hym5jhldpf3zneg4cydfa
« Previous Showing results 1 — 15 out of 166,363 results