Filters








5 Hits in 1.8 sec

Populational Announcement Logic (PPAL)

Vitor Machado, Mario Benevides
2020 Electronical Notes in Theoretical Computer Science  
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy-inspired semantics, where instead of specific agents we have populations and groups.  ...  We conclude that the main advantage of PPAL over PAL is the flexibility to work with previously defined agents.  ...  Populational Announcement Logic (PPAL) In this section we will introduce the Populational Announcement Logic (PPAL).  ... 
doi:10.1016/j.entcs.2020.02.007 fatcat:bw7klhzhuveknktfb5fngsr7fi

Populational Announcement Logic (PPAL)

Vitor Machado, Mario R. F. Benevides
2017 International Conference on Logic Programming and Non-Monotonic Reasoning  
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy semantics, where instead of specific agents we have populations and groups.  ...  The semantics and the announcement logic are defined, and an example is provided. We briefly talk about decidability and model checking.  ...  We Populational Announcement Logic (PPAL) Now we introduce PPAL, where we have populations and groups instead of agents.  ... 
dblp:conf/lpnmr/MachadoB17 fatcat:ezeagyr6wjd6vm64qcoohmodgq

The Atlas of Digitised Newspapers and Metadata: Reports from Oceanic Exchanges [article]

Melodee Beals, Emily Bell
2020 Figshare  
Second, they should provide state, or multi-county, coverage of the majority of the state or territory's population.  ...  Structure" @ TYPE="LOGICAL"]\mets:div\@LABEL STR Hamburger Nachrichten no. 613 31.12.1932 F1ME mets@LABEL STR Suomi no. 1 1841 F1ME mets\structMap[@LABEL="Logical Structure" @TYPE="LOGI-  ... 
doi:10.6084/m9.figshare.11560059.v2 fatcat:ccubysksqjbkjlhneszp37bz2m

The Atlas of Digitised Newspapers and Metadata: Reports from Oceanic Exchanges [article]

Melodee Beals, Emily Bell
2020 Figshare  
MCH Monografía HNME::METS:mets\METS:dmdSec\METS:mdWrap\METS:xmlData\DC:category MCH Monografias PPME::mets@TYPE MCH Newspaper PPME::mets\structMap[@LABEL="Logical Structure" @TYPE="LOGICAL"]\div@TYPE MCH  ...  Second, they should provide state, or multi-county, coverage of the majority of the state or territory's population.  ...  ::alto\Layout\Page\TopMargin@ID UID P1_TM00001 PPAL::alto\Layout\Page\LeftMargin@ID UID P1_LM00001 PPAL::alto\Layout\Page\RightMargin@ID UID P1_RM00001 PPAL::alto\Layout\Page\BottomMargin@ID UID P1_BM00001  ... 
doi:10.6084/m9.figshare.11560059.v1 fatcat:rxuygynnrffp5obwdcks7tflxa

The new emerging forces in Indonesian foreign policy [article]

James Robert Angel, University, The Australian National, University, The Australian National
2016
See Appendix A, ppAL- A 2 below. For an annotated version of the Preamble, see Indon.  ...  See Sukarno's third law of revolution in Sukarno, 'logic of revolution'^.  ... 
doi:10.25911/5d763437dbd19 fatcat:qs2szyyirjhptolwjzivzxx7wu