Search results for "knowledge-states"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	A logic programming approach to knowledge-state planning: Semantics and complexity.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets
32	Eduard Bartl, Radim Belohlávek	Knowledge Spaces, Attribute Dependencies, and Graded Knowledge States.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
16	Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk	Knowledge States for the Caching Problem in Shared Memory Multiprocessor Systems.	ISPAN	2004	DBLP DOI BibTeX RDF
15	Chaoran Cui, Hebo Ma, Chen Zhang, Chunyun Zhang, Yumo Yao, Meng Chen 0003, Yuling Ma	Do We Fully Understand Students' Knowledge States? Identifying and Mitigating Answer Bias in Knowledge Tracing.	CoRR	2023	DBLP DOI BibTeX RDF
15	Eduard Bartl, Radim Belohlávek	Knowledge spaces with graded knowledge states.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
15	Pavel Brazdil	Knowledge States and Meta-Knowledge Maintenance.	EWSL	1987	DBLP BibTeX RDF
15	Jean-Claude Falmagne, Eric Cosyn, Jean-Paul Doignon, Nicolas Thiéry 0001	The Assessment of Knowledge, in Theory and in Practice.	ICFCA	2006	DBLP DOI BibTeX RDF
13	Jim Davies, Ashok K. Goel 0001, Nancy J. Nersessian	Transfer in Visual Case-Based Problem Solving.	ICCBR	2005	DBLP DOI BibTeX RDF
11	Liang Zhang, Philip I. Pavlik, Xiangen Hu, Jody L. Cockroft, Lijia Wang, Genghu Shi	Exploring the Individual Differences in Multidimensional Evolution of Knowledge States of Learners.	HCI (34)	2023	DBLP DOI BibTeX RDF
11	Sai Dileep Koneru, David Rench McCauley, Michael C. Smith 0004, David Guarrera, Jenn Robinson, Sarah Rajtmajer	The evolution of scientific literature as metastable knowledge states.	CoRR	2022	DBLP BibTeX RDF
11	Madeline Pelz, Laura Schulz, Julian Jara-Ettinger	The Signature of All Things: Children Infer Knowledge States from Static Images.	CogSci	2020	DBLP BibTeX RDF
11	James Firoze Appleby	Choice Sequences and Knowledge States: Extending the Notion of Finite Information to Produce a Clearer Foundation for Intuitionistic Analysis, Keele University, UK, 2017. Supervised by Peter Fletcher.	Bull. Symb. Log.	2018	DBLP DOI BibTeX RDF
11	Loris Bozzato, Luciano Serafini, Gaetano Calabrese	CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States.	Description Logics	2017	DBLP BibTeX RDF
11	Oluwabukola Mayowa Ishola, Gord McCalla	Diagnosis at Scale: Detecting the Expertise Level and Knowledge States of Lifelong Professional Learners.	UMAP (Extended Proceedings)	2016	DBLP BibTeX RDF
11	Jeein Jeong, Douglas Frye	"He will try to learn it because he doesn't know it." Young children's understanding of learning based on their knowledge states.	CogSci	2016	DBLP BibTeX RDF
11	Joan Peskin, Carly Prusky, Julie Comay	Representations of knowledge states when writing: Keeping the reader's mind in mind.	CogSci	2011	DBLP BibTeX RDF
11	Sylvia B. Encheva, Sharil Tumin	Diagnostic Tests Based on Knowledge States.	ICCCI (3)	2010	DBLP DOI BibTeX RDF
11	Tamara Babaian, James G. Schmolze	Practical reasoning about knowledge states for open world planning with sensing.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
11	Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk	Knowledge States for the Caching Problem in Shared Memory Multiprocessor Systems.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
11	Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk	Knowledge States: A Tool for Randomized Online Algorithms.	HICSS	2008	DBLP DOI BibTeX RDF
11	Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen 0001	Solving Conflicts of Agent Knowledge States in Multiagent Systems.	SOFSEM	2002	DBLP DOI BibTeX RDF
11	Johan van Benthem	'On Being Informed': Update Logics for Knowledge States.	JELIA	2000	DBLP DOI BibTeX RDF
11	Cornelia E. Dowling, Cord Hockemeyer, Andreas H. Ludwig	Adaptive Assessment and Training Using the Neighbourhood of Knowledge States.	Intelligent Tutoring Systems	1996	DBLP DOI BibTeX RDF
11	Riccardo Rosati 0001	Minimal Knowledge States in Nonmonotonic Modal Logics.	Advances in Modal Logic	1996	DBLP BibTeX RDF
11	Michael A. Erdmann	Randomization for Robot Tasks: Using Dynamic Programming in the Space of Knowledge States.	Algorithmica	1993	DBLP DOI BibTeX RDF
11	Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits	Reasoning about evolving nonmonotonic knowledge bases.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
11	Bernd Werther, Christoph Möhlenbrink, Michael Rudolph 0001	Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes.	HCI (12)	2007	DBLP DOI BibTeX RDF	Airport control model, Colored Petri Net, State Space, Cognitive work analysis, Human Machine System
9	Ewa Orlowska	Two Logical Dimensions.	JELIA	1994	DBLP DOI BibTeX RDF
9	Ngoc Thanh Nguyen 0001	Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-agent Environments.	PRIMA	2008	DBLP DOI BibTeX RDF
9	Bernhard Heinemann	A PDL-Like Logic of Knowledge Acquisition.	CSR	2007	DBLP DOI BibTeX RDF	knowledge acquisition, topological reasoning, propositional dynamic logic, logics of knowledge
9	Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits	Reasoning about Evolving Nonmonotonic Knowledge Bases.	LPAR	2001	DBLP DOI BibTeX RDF
8	Agnieszka Pieczynska-Kuchtiak, Radoslaw P. Katarzyniak	Towards Measure of Semantic Correlation between Messages in Multiagent System.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
7	Sylvia B. Encheva, Sharil Tumin	Efficient Knowledge Assessment Based on Convex Geometries.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	lattices, Knowledge
7	Bernhard Heinemann	Knowledge over Dense Flows of Time (from a Hybrid Point of View).	FSTTCS	2002	DBLP DOI BibTeX RDF	modal logic of subset spaces, reasoning about knowledge and time, hybridization
7	Hiroyuki Mitsuhara, Youji Ochi, Yoneo Yano	ITMS: Individualized Teaching Material System - Web-Based Exploratory Learning Support System by Adaptive Knowledge Integration.	Web Intelligence	2001	DBLP DOI BibTeX RDF
6	Bernhard Heinemann	Observational Effort and Formally Open Mappings.	WoLLIC	2009	DBLP DOI BibTeX RDF	topology and epistemic logic, subset spaces, open mappings, hybrid logic
6	Sylvia B. Encheva, Sharil Tumin, Maryna Z. Solesvik	Federated Knowledge Spaces.	AICT	2007	DBLP DOI BibTeX RDF
6	Fang Wei, Glenn D. Blank	Student Modeling with Atomic Bayesian Networks.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
6	Renaud De Landtsheer, Axel van Lamsweerde	Reasoning about confidentiality at requirements engineering time.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	reasoning about confidentiality, bounded model checking, security requirements, specification patterns
6	Chien-Sing Lee, Yashwant Prasad Singh	Student Modeling Using Principal Component Analysis of SOM Clusters.	ICALT	2004	DBLP DOI BibTeX RDF	adaptive hypermedia learning systems, principal component analysis, SOM, student modeling
4	Eleonora Cresto	A Model for Structural Changes of Belief.	Stud Logica	2008	DBLP DOI BibTeX RDF	Supervaluations, AGM-theory, Radical belief changes, Belief revision
4	Leen-Kiat Soh, Costas Tsatsoulis	A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	real-time negotiation, argumentative negotiation protocol, multi-agent system, temporal logic, case-based reasoning