Mieczyslaw M. Kokar
Orcid: 0000-0001-9243-3089
According to our database1,
Mieczyslaw M. Kokar
authored at least 81 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
On the Use of Ontologies for Defining, Generating and Exploring the Resulting Simulations of Application Level Protocols.
Proceedings of the 16th International Joint Conference on Knowledge Discovery, 2024
2023
SN Comput. Sci., March, 2023
2022
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
2021
2020
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2020
2018
IEEE 1900.5.2: Standard Method for Modeling Spectrum Consumption: Introduction and Use Cases.
IEEE Commun. Stand. Mag., 2018
Dynamic Deployment of Communication Applications to Different Hardware Platforms using Ontological Representations.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018
A Method to Identify Relevant Information Sufficient to Answer Situation Dependent Queries.
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2018
2017
Proceedings of the 2017 IEEE International Symposium on Dynamic Spectrum Access Networks, 2017
2016
Reusability of knowledge for deriving latent situational information in EW scenarios.
Proceedings of the 2016 IEEE Military Communications Conference, 2016
2015
Proceedings of the 18th International Conference on Information Fusion, 2015
2014
Proceedings of the Cyber Defense and Situational Awareness, 2014
Using UML and OCL for representing multiobjective combinatorial optimization problems.
J. Intell. Manuf., 2014
Proceedings of the Ninth Conference on Semantic Technology for Intelligence, 2014
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014
2013
Proceedings of the Eighth Conference on Semantic Technologies for Intelligence, 2013
Proceedings of the 32th IEEE Military Communications Conference, 2013
Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2013
2012
Self-control of the time complexity of a constraint satisfaction problem solver program.
J. Syst. Softw., 2012
Proceedings of the 15th International Conference on Information Fusion, 2012
Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2012
2011
Comput. Ind. Eng., 2011
Proceedings of the Sixth International Conference on Semantic Technologies for Intelligence, 2011
Toward formal reasoning with epistemic policies about information quality in the twittersphere.
Proceedings of the 14th International Conference on Information Fusion, 2011
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2011
Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2011
2010
On the Use of Q<sup>2</sup> Abstractions to Lower the Computational Cost of Derivation of Conflict Resolution Advisories in Air Traffic Control.
IEEE Trans. Intell. Transp. Syst., 2010
IEEE Internet Comput., 2010
A Semantic Wiki Alerting Environment Incorporating Credibility and Reliability Evaluation.
Proceedings of the Fifth International Conference on Semantic Technologies for Intelligence, 2010
Current approaches to automated information evaluation and their applicability to Priority Intelligence Requirement answering.
Proceedings of the 13th Conference on Information Fusion, 2010
High Level Information Fusion developments, issues, and grand challenges: Fusion 2010 panel discussion.
Proceedings of the 13th Conference on Information Fusion, 2010
2009
Towards the formal representation of temporal aspects of Enemy/Threat Courses Of Action.
Proceedings of the 12th International Conference on Information Fusion, 2009
2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008
Problems and prospects for formally representing and reasoning about enemy courses of action.
Proceedings of the 11th International Conference on Information Fusion, 2008
2007
Proceedings of the Ontologies and Semantic Technologies for Intelligence [papers from the Second International Ontology for the Intelligence Community (OIC) Conference, 2007
2006
J. Adv. Inf. Fusion, 2006
BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006
Understanding the Role of Context in the Interpretation of Complex Battlespace Intelligence.
Proceedings of the 9th International Conference on Information Fusion, 2006
Proceedings of the 9th International Conference on Information Fusion, 2006
Applying Semantic Web Reasoning to Counter-Terrorism.
Proceedings of the Emergent Information Technologies and Enabling Policies for Counter-Terrorism, 2006
2005
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005
Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
2004
Inf. Fusion, 2004
Proceedings of the Semantic Web, 2004
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004
2003
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003
2002
Softw. Syst. Model., 2002
Proceedings of the Semantic Web, 2002
2001
Inf. Fusion, 2001
Consistency Checking of RM-ODP Specifications.
Proceedings of the Open Distribute Processing: Enterprise, 2001
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001
Proceedings of the «UML» 2001, 2001
SSCS: A Smart Spell Checker System Implementation Using Adaptive Software Architecture.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001
2000
J. Syst. Softw., 2000
Proceedings of the Self-Adaptive Software, First International Workshop, 2000
1999
J. Syst. Integr., 1999
IEEE Intell. Syst., 1999
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
J. Netw. Syst. Manag., 1998
1997
Int. J. Hum. Comput. Interact., 1997
1995
A framework for on-line learning of plant models and control policies for restructurable control.
IEEE Trans. Syst. Man Cybern., 1995
IEEE Trans. Syst. Man Cybern., 1995
1993
1991
Proceedings of the Eighth International Workshop (ML91), 1991
1989
Concept Discovery Through Utilization of Invariance Embedded in the Description Language.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989
1988
Proceedings of the Uncertainty and Intelligent Systems, 1988
1987
Generating Qualitative Representations of Continuous Physical Processes.
Proceedings of the Methodologies for Intelligent Systems, 1987
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987
1986
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986