Generality in artificial intelligence
Communications of the ACM
Artificial intelligence and mathematical theory of computation
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Coping with Different Types of Ambiguity Using a Uniform Context Handling Mechanism
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
KEx: A Peer-to-Peer Solution for Distributed Knowledge Management
PAKM '02 Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Dynamics between Contextual Knowledge and Proceduralized Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
The Role of Context in the Analysis and Design of Agent Programs
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Objective and Cognitive Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Context as Fuzzy Degrees of Acceptability for Knowledge Base Integrity
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Simulating Context Effects in Problem Solving with AMBR
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Practical Context Transformation for Information System Interoperability
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Two Formalizations of Context: A Comparison
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Context-Based Ambiguity Management for Natural Language Processing
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Application of Supervaluation Semantics to Vaguely Defined Spatial Concepts
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Formal Ontology Engineering in the DOGMA Approach
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Contextualization as an Abstraction Mechanism for Conceptual Modelling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Dealing with the effects of context mismatch in group work
Decision Support Systems
Enhancing portability with multilingual ontology-based knowledge management
Decision Support Systems
Meta Level Reasoning and Default Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Conceptual Modeling Framework for Expressing Observational Data Semantics
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Semantics in Data and Knowledge Bases
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion
Uncertainty Reasoning for the Semantic Web I
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
Ontology Engineering --- The DOGMA Approach
Advances in Web Semantics I
Context, situations, and design agents
Knowledge-Based Systems
Context modeling for language and speech generation
ISDS '97 Interactive Spoken Dialog Systems on Bringing Speech and NLP Together in Real Applications
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
Context Switching versus Context Permeability in Multiple Social Networks
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Web driven ontological concepts evaluation
EurolMSA '07 Proceedings of the Third IASTED European Conference on Internet and Multimedia Systems and Applications
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Contextual reasoning in agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Context dynamics in software engineering process
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
On the difference between bridge rules and lifting axioms
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Context dynamic and explanation in contextual graphs
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Natural deduction and context as (constructive) modality
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Context dependency management in ontology engineering: a formal approach
Journal on data semantics VIII
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Towards a methodology for context sensitive systems development
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Goal reasoning with context record types
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Coping with unconsidered context of formalized knowledge
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Investigating the specifics of contextual elements management: the CEManTIKA approach
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Are your rules online? four web rule essentials
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Putting things in context: a topological approach to mapping contexts to ontologies
Journal on data semantics IX
Context-awareness in crisis management
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Framing decision making at two levels
Proceedings of the 2010 conference on Bridging the Socio-technical Gap in Decision Support Systems: Challenges for the Next Decade
Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment
Wireless Personal Communications: An International Journal
Designing context-sensitive systems: An integrated approach
Expert Systems with Applications: An International Journal
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A reflective proof system for reasoning in contexts
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Description logics for relative terminologies
ESSLLI'08/09 Proceedings of the 2008 international conference on Interfaces: explorations in logic, language and computation
Decomposition of distributed nonmonotonic multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Review: from expert systems to context-based intelligent assistant systems: A testimony
The Knowledge Engineering Review
Approximations for explanations of inconsistency in partially known multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
RT-MLR: a hybrid framework for context-aware systems
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part II
Requirements engineering for self-adaptive systems: core ontology and problem statement
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Context-dependent OWL reasoning in sindice - experiences and lessons learnt
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Review: A framework for awareness maintenance
Journal of Network and Computer Applications
Groupware system design and the context concept
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Towards the integration of performance support and e-learning: context-aware product support systems
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Some characteristics of context
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Connecting keywords through pointer paths over the web
Proceedings of the 2005 international conference on Federation over the Web
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Task-Realization models in contextual graphs
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Identification of textual contexts
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Contextual information systems
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Minimality and non-determinism in multi-context systems
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Making contextual intensional logic nonmonotonic
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Modeling context as statistical dependence
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Recognizing team context during simulated missions
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Modelling context for information environments
UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems
Domains and context: First steps towards managing diversity in knowledge
Web Semantics: Science, Services and Agents on the World Wide Web
Contextualized knowledge repositories for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Context-Aware adaptation for media delivery in pervasive computing environment
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
Agent oriented data integration
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
An architecture for developing context-aware systems
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
Identifying the multiple contexts of a situation
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
Social acquisition of ontologies from communication processes
Applied Ontology - Formal Ontologies for Communicating Agents
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Formalizing Context in Intuitionistic Type Theory
Fundamenta Informaticae
Fundamenta Informaticae
An Approach To Context-Based Default Reasoning
Fundamenta Informaticae
Fundamenta Informaticae
Papers On Context: Theory And Practice
Fundamenta Informaticae
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
Possibilistic reasoning in multi-context systems: preliminary report
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Comparing contextual and flat representations ofknowledge: a concrete case about football data
Proceedings of the seventh international conference on Knowledge capture
A strongly-local contextual logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. Various notations are considered, but. these notes are tentative in not, proposing a single language with all the desired capabilities.