Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings / / Steffen HoÌlldobler, Carsten Lutz, Heinrich Wansing (editors)

• Record Nr.: UNISA996465866103316
• Pubbl/distr/stampa: Berlin, Germany : , : Springer, , [2008]; ©2008
• ISBN: 3-540-87803-3
• Edizione: [1st ed. 2008.]
• Descrizione fisica: 1 online resource (XI, 429 p.)
• Collana: Lecture Notes in Artificial Intelligence ; ; 5293
• Classificazione: 54.72
• Disciplina: 006.3
• Soggetti: Artificial intelligence; Logic, Symbolic and mathematical
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Includes index.
• Nota di bibliografia: Includes bibliographical references and author index.
• Nota di contenuto: Invited Talks -- Justification Logic -- Voting in Combinatorial Domains: What Logic and AI Have to Say -- Regular Papers -- Strongly Equivalent Temporal Logic Programs -- Consistency Preservation and Crazy Formulas in BMS -- Propositional Clausal Defeasible Logic -- Complexity and Succinctness Issues for Linear-Time Hybrid Logics -- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders -- Normal Form Nested Programs -- A Logic for Closed-World Interaction -- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints -- Recovering Consistency by Forgetting Inconsistency -- On the Credal Structure of Consistent Probabilities -- A Fluent Calculus Semantics for ADL with Plan Constraints -- Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks -- Query Answering in the Description Logic Horn- -- Accommodative Belief Revision -- Reasoning about Typicality in Preferential Description Logics -- Counting Complexity of Minimal Cardinality and Minimal Weight Abduction -- Uniform Interpolation by Resolution in Modal Logic -- GOAL Agents Instantiate Intention Logic -- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials -- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness -- Confluence Operators -- A Game-; Theoretic Measure of Argument Strength for Abstract Argumentation -- A Tableau for RoBCTL -- A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes -- Extending Carin to the Description Logics of the Family -- How to Restore Compactness into Probabilistic Logics? -- Combining Modes of Reasoning: An Application of Abstract Argumentation -- Cheap Boolean Role Constructors for Description Logics -- Improved Second-Order Quantifier Elimination in Modal Logic -- Literal Projection for First-Order Logic -- Meta Level Reasoning and Default Reasoning -- Rule Calculus: Semantics, Axioms and Applications.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

The lost art of finding our way [[electronic resource] /] / John Edward Huth

• Record Nr.: UNINA9910787679003321
• Autore: Huth John Edward
• Pubbl/distr/stampa: Cambridge, Mass., : Belknap Press, 2013
• ISBN: 0-674-07481-5
• Descrizione fisica: 1 online resource (544 p.)
• Disciplina: 629.04/509
• Soggetti: Navigation - History; Naval art and science - History
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Front matter -- Contents -- 1. Before the Bubble -- 2. Maps in the Mind -- 3. On Being Lost -- 4. Dead Reckoning -- 5. Urban Myths of Navigation -- 6. Maps and Compasses -- 7. Stars -- 8. The Sun and ; the Moon -- 9. Where Heaven Meets Earth -- 10. Latitude and Longitude -- 11. Red Sky at Night -- 12. Reading the Waves -- 13. Soundings and Tides -- 14. Currents and Gyres -- 15. Speed and Stability of Hulls -- 16. Against the Wind -- 17. Fellow Wanderers -- 18. Baintabu's Story -- Appendix 1: Major Star Coordinates and Mapping onto Earth -- Appendix 2: Some Significant Events in Latitude and Longitude -- Appendix 3: Toledo Tables -- Appendix 4: Sailing Capabilities in Baintabu's Story -- Glossary -- Notes -- Acknowledgments -- Index
• Sommario/riassunto: Long before GPS, Google Earth, and global transit, humans traveled vast distances using only environmental clues and simple instruments. John Huth asks what is lost when modern technology substitutes for our innate capacity to find our way. Encyclopedic in breadth, weaving together astronomy, meteorology, oceanography, and ethnography, The Lost Art of Finding Our Way puts us in the shoes, ships, and sleds of early navigators for whom paying close attention to the environment around them was, quite literally, a matter of life and death. Haunted by the fate of two young kayakers lost in a fogbank off Nantucket, Huth shows us how to navigate using natural phenomena-the way the Vikings used the sunstone to detect polarization of sunlight, and Arab traders learned to sail into the wind, and Pacific Islanders used underwater lightning and "read" waves to guide their explorations. Huth reminds us that we are all navigators capable of learning techniques ranging from the simplest to the most sophisticated skills of direction-finding. Even today, careful observation of the sun and moon, tides and ocean currents, weather and atmospheric effects can be all we need to find our way. Lavishly illustrated with nearly 200 specially prepared drawings, Huth's compelling account of the cultures of navigation will engross readers in a narrative that is part scientific treatise, part personal travelogue, and part vivid re-creation of navigational history. Seeing through the eyes of past voyagers, we bring our own world into sharper view.