Filters








306 Hits in 7.8 sec

Actual Issues for Relevant Logics

Shawn Standefer
2020 Ergo, An Open Access Journal of Philosophy  
There is much work on two-dimensional semantics and metaphysics developed against the background of classical modal logic.  ...  I close by exploring some of the philosophical consequences of the addition. I t is common enough in work on relevant logics using Routley-Meyer frames to talk about a real world.  ...  and discussion that have greatly improved this paper.  ... 
doi:10.3998/ergo.12405314.0007.008 fatcat:jiectjzpcrem7onndsmqzoebbq

Viral Vectors I: Major Viral Vectors

2000 Molecular Therapy  
Indeed, in case Y is a Boolean space, sheaf representations of A correspond exactly to weak Boolean product decompositions of A.  ...  Graph theory and modal logic Yutaka Miyazaki Osaka University of Economics and Law, Osaka, JAPAN y-miya@keiho-u.ac.jp Kripke frame is a graph.  ... 
doi:10.1006/mthe.2000.0143 fatcat:t7k2ymu7rjeirdh3zhe4cxuxju

2. Abstracts Invited Speakers

2013 Journal of Perinatal Medicine  
Indeed, in case Y is a Boolean space, sheaf representations of A correspond exactly to weak Boolean product decompositions of A.  ...  Graph theory and modal logic Yutaka Miyazaki Osaka University of Economics and Law, Osaka, JAPAN y-miya@keiho-u.ac.jp Kripke frame is a graph.  ... 
doi:10.1515/jpm-2013-2001 fatcat:uzvmvs2t7rcbznk3yhwaaobvly

Philosophical Aspects of Quantum Field Theory: I

Laura Ruetsche
2012 Philosophy Compass  
A stark disanalogy between QFTs and ordinary QM -the former, but not the latter, typically admit infinitely many putatively physically inequivalent realizations -prompts relatively novel questions, questions  ...  This is the first of a two-part introduction to some interpretive questions that arise in connection with quantum field theories (QFTs).  ...  Given the propensity of many interpretations of ordinary QM to code the condition a quantum system is 'really' in with a pure state (consider, for example, the value states of modal interpretations), this  ... 
doi:10.1111/j.1747-9991.2011.00388.x fatcat:djmdtn44frb4xfdaqphjnwzkzu

Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General

Ross T. Brady
2017 IfColog journal of logics and their applications (FLAP)  
The idea of using a ternary relation, instead of the familiar binary relation from the so-called Kripke semantics for modal logic, is fascinating.  ...  Since 2014, we have been working on a research project (under the umbrella of an Insight Grant) entitled "The third place is the charm: The emergence, the development and the future of the ternary relational  ...  Their careful reading of a previous version of this paper helped to make it a much better final text.  ... 
dblp:journals/flap/Brady17 fatcat:dbhyqmbfczc43c2kwnxbrh4lv4

Semantic Enrichment in Ontologies for Matching

Nwe Ni Tun, Satoshi Tojo
2006 International Journal on Semantic Web and Information Systems (IJSWIS)  
, persistence, and identity of its instancesregarding every individual defined in a universe of discourse is countable and identifiable.  ...  Ontology matching (or mapping) is a process of finding correspondences between semantically related entities in heterogeneous ontologies.  ...  , and A is a set of ontological axioms and constraints.  ... 
doi:10.4018/jswis.2006100102 fatcat:bk6b5c724jaanmps5wfj4dvfh4

An Old Discipline with a New Twist: The Course "Logic in Action"

Johan van Benthem
2017 IfColog journal of logics and their applications (FLAP)  
We hope that this volume will inspire teachers so that the way logic is taught to a wide range of students from undergraduate to postgraduate gets improved, and thereby make those audiences aware of the  ...  tremendously importance of this topic at the crossing of many established disciplines.  ...  Another difference is that in this paper, we have a list of the matrix representation of frame properties and two types of correspondence between modal axioms and their matrix representations.  ... 
dblp:journals/flap/Benthem17 fatcat:e5d54ekdhrbmjcs3ywmfzhaslm

A goal-directed implementation of query answering for hybrid MKNF knowledge bases

ANA SOFIA GOMES, JOSÉ JÚLIO ALFERES, TERRANCE SWIFT
2013 Theory and Practice of Logic Programming  
semantics, and the ontology is modeled by a general oracle.  ...  That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules.  ...  Some DL Axioms and their Type-0 Counterparts Type-0 and Type-1 Ontologies All classes in CDF are represented by terms of the form cid(Identifier, Namespace), instances by terms of the form oid(Identifier  ... 
doi:10.1017/s1471068412000439 fatcat:ojemxrugrvehti6qqkk7fa5u3i

Semantic Representation of Multimedia Content [chapter]

Kalliopi Dalakleidi, Stamatia Dasiopoulou, Giorgos Stoilos, Vassilis Tzouvaras, Giorgos Stamou, Yiannis Kompatsiaris
2011 Lecture Notes in Computer Science  
The conveyed meaning may span along multiple levels and relates to search and retrieval tasks, much as to the very extraction and interpretation of content descriptions.  ...  In this chapter we consider the formal representation of multimedia semantics that pertain to media and domain specific descriptions, for the purpose of supporting both the extraction and subsequent semantic  ...  The initial annotations forming the input may come from different modalities and analysis implementations, and their degrees can be re-adjusted using weights to specify the reliability of the corresponding  ... 
doi:10.1007/978-3-642-20795-2_2 fatcat:d7rwu7tncjbs5pzkx6o66eotay

CYC: A Midterm Report

Ramanathan V. Guha, Douglas B. Lenat
1990 The AI Magazine  
The heuristic level consists of several modules for generating and comparing arguments for and against a given proposition.  ...  A user (human or application program) will usually communicate with Cyc at the epistemological level, and their utterances are translated by the tell-ask (TA) interface into heuristic-level propositions  ...  We also want to thank Mark Derthick, Karen Pittman, Dexter Pratt, David Wallace, Nick Siegel, Wanda Pratt, John Huffman, and the other members of the Cyc group, past and present, for their help in building  ... 
doi:10.1609/aimag.v11i3.842 dblp:journals/aim/GuhaL90 fatcat:ntx5tuuwkzarrmqzdmk4kzdqny

Integrated surface model optimization for freehand three-dimensional echocardiography

Mingzhou Song, R.M. Haralick, F.H. Sheehan, R.K. Johnson
2002 IEEE Transactions on Medical Imaging  
The prior shape knowledge is represented by a catalog of 86 left ventricle surface models.  ...  high-level prior shape knowledge through a pixel class prediction mechanism.  ...  A. McDonald of Seattle, WA, for suggesting the convex combination approach to creating new surface models.  ... 
doi:10.1109/tmi.2002.804433 pmid:12564876 fatcat:e2zgmotgindldhelxkv7s3opmy

EPISTEMIC LOGIC AND INFORMATION UPDATE [chapter]

Alexandru Baltag, Hans P. van Ditmarsch, Lawrence S. Moss
2008 Philosophy of Information  
A A GFED @ABC t GFED @ABC u Again, we would supplement the picture with a description of which states have which coin faces showing: H is true at s and u, while T is true at t.  ...  We illustrate this by using lines to represent the agent's indifference between two (indistinguishable) possibilities: The way to read an assertion like "there is a line between s and t" is as follows:  ...  Acknowledgments We thank Anthony Gillies and Joshua Sack for their very useful comments on this chapter at various stages.  ... 
doi:10.1016/b978-0-444-51726-5.50015-7 fatcat:4kw77wotobddbbcc34gtle4uxe

The representation of planning strategies

Andrew S. Gordon
2004 Artificial Intelligence  
This article describes a project to collect and represent strategies on a large scale to identify the representational components of our commonsense understanding of intentional action.  ...  An analysis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and the representational  ...  In general, a frame was evident that separates a strategy into four components, corresponding to descriptions of a situation, a goal, an envisioned possibility, and a set of planning directives that may  ... 
doi:10.1016/j.artint.2002.11.002 fatcat:wtzigm4bebftfmisdlpytd6cmi

Logics for Epistemic Programs

Alexandru Baltag, Lawrence S. Moss
2004 Synthese  
This point is of interest independently of our logical languages. We illustrate the update product and our logical languages with many examples throughout the paper.  ...  model, a transition relation between the states of that model and the states of the updated model.  ...  For the logic of S5 programs, we change preorders to equivalence relations. Another important class is given by the K45 axioms of modal logic.  ... 
doi:10.1023/b:synt.0000024912.56773.5e fatcat:zabpio73vje53dylvztg6kft6u

Logics for Epistemic Programs [chapter]

Alexandru Baltag, Lawrence S. Moss
2004 Information, Interaction and Agency  
This point is of interest independently of our logical languages. We illustrate the update product and our logical languages with many examples throughout the paper.  ...  model, a transition relation between the states of that model and the states of the updated model.  ...  For the logic of S5 programs, we change preorders to equivalence relations. Another important class is given by the K45 axioms of modal logic.  ... 
doi:10.1007/1-4020-4094-6_1 fatcat:bfnuv4wn6zfzze5s3jqs7qqsqm
« Previous Showing results 1 — 15 out of 306 results