Results
Found 42 publication records. Showing 42 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 206-263, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 7th International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004), 10-12 May 2004, Hong Kong, SAR, China, pp. 307-312, 2004, IEEE Computer Society, 0-7695-2135-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07779, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eduard Bartl, Radim Belohlávek |
Knowledge spaces with graded knowledge states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 181(8), pp. 1426-1439, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Brazdil |
Knowledge States and Meta-Knowledge Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Progress in Machine Learning - Proceedings of EWSL 87: 2nd European Working Session on Learning, Bled, Yugoslavia, May 1987, pp. 138-146, 1987, Sigma Press, Wilmslow, 1-85058-088-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 61-79, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jim Davies, Ashok K. Goel 0001, Nancy J. Nersessian |
Transfer in Visual Case-Based Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning, Research and Development, 6th International Conference, on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings, pp. 163-176, 2005, Springer, 3-540-28174-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (34) ![In: Adaptive Instructional Systems - 5th International Conference, AIS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, pp. 265-284, 2023, Springer, 978-3-031-34734-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.12913, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
11 | Madeline Pelz, Laura Schulz, Julian Jara-Ettinger |
The Signature of All Things: Children Infer Knowledge States from Static Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 42th Annual Meeting of the Cognitive Science Society - Developing a Mind: Learning in Humans, Animals, and Machines, CogSci 2020, virtual, July 29 - August 1, 2020, 2020, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 24(2), pp. 196-197, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Loris Bozzato, Luciano Serafini, Gaetano Calabrese |
CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Oluwabukola Mayowa Ishola, Gord McCalla |
Diagnosis at Scale: Detecting the Expertise Level and Knowledge States of Lifelong Professional Learners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UMAP (Extended Proceedings) ![In: Late-breaking Results, Posters, Demos, Doctoral Consortium and Workshops Proceedings of the 24th ACM Conference on User Modeling, Adaptation and Personalisation (UMAP 2016), Halifax, Canada, July 13-16, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 38th Annual Meeting of the Cognitive Science Society, Recognizing and Representing Events, CogSci 2016, Philadelphia, PA, USA, August 10-13, 2016, 2016, cognitivesciencesociety.org, 978-0-9911967-3-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
11 | Joan Peskin, Carly Prusky, Julie Comay |
Representations of knowledge states when writing: Keeping the reader's mind in mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011, 2011, cognitivesciencesociety.org, 978-0-9768318-7-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
11 | Sylvia B. Encheva, Sharil Tumin |
Diagnostic Tests Based on Knowledge States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI (3) ![In: Computational Collective Intelligence. Technologies and Applications - Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III, pp. 133-141, 2010, Springer, 978-3-642-16695-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Tamara Babaian, James G. Schmolze |
Practical reasoning about knowledge states for open world planning with sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 19(1), pp. 7-41, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 20(1), pp. 167-183, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk |
Knowledge States: A Tool for Randomized Online Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 476, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen 0001 |
Solving Conflicts of Agent Knowledge States in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, pp. 231-239, 2002, Springer, 3-540-00145-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Johan van Benthem |
'On Being Informed': Update Logics for Knowledge States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 1, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Cornelia E. Dowling, Cord Hockemeyer, Andreas H. Ludwig |
Adaptive Assessment and Training Using the Neighbourhood of Knowledge States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, Third International Conference, ITS '96, Montréal, Canada, June 12-14, 1996, Proceedings, pp. 578-587, 1996, Springer, 3-540-61327-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Riccardo Rosati 0001 |
Minimal Knowledge States in Nonmonotonic Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 1, papers from the first workshop on `Advances in Modal logic,` held in Berlin, Germany, 8-10 October 1996., pp. 173-187, 1996, CSLI Publications, 1-57586-102-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
11 | Michael A. Erdmann |
Randomization for Robot Tasks: Using Dynamic Programming in the Space of Knowledge States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 10(2-4), pp. 248-291, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits |
Reasoning about evolving nonmonotonic knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 389-440, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 1027-1036, 2007, Springer, 978-3-540-73318-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 231, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
9 | Ngoc Thanh Nguyen 0001 |
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-agent Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, pp. 2-3, 2008, Springer, 978-3-540-89673-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Bernhard Heinemann |
A PDL-Like Logic of Knowledge Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 146-157, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 407-421, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
8 | Agnieszka Pieczynska-Kuchtiak, Radoslaw P. Katarzyniak |
Towards Measure of Semantic Correlation between Messages in Multiagent System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III, pp. 567-574, 2004, Springer, 3-540-22116-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Sylvia B. Encheva, Sharil Tumin |
Efficient Knowledge Assessment Based on Convex Geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing III, IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia, pp. 187-196, 2006, Springer, 978-0-387-44639-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lattices, Knowledge |
7 | Bernhard Heinemann |
Knowledge over Dense Flows of Time (from a Hybrid Point of View). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 194-205, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: Web Intelligence: Research and Development, First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings, pp. 589-595, 2001, Springer, 3-540-42730-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Bernhard Heinemann |
Observational Effort and Formally Open Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 197-208, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT ![In: Third Advanced International Conference on Telecommunications (AICT 2007), May 13-19, 2007, Mauritius, pp. 26, 2007, IEEE Computer Society, 0-7695-2843-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Fang Wei, Glenn D. Blank |
Student Modeling with Atomic Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings, pp. 491-502, 2006, Springer, 3-540-35159-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Renaud De Landtsheer, Axel van Lamsweerde |
Reasoning about confidentiality at requirements engineering time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 41-49, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the IEEE International Conference on Advanced Learning Technologies, ICALT 2004, Joensuu, Finland, August 30 - September 1, 2004, 2004, IEEE Computer Society, 0-7695-2181-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(3), pp. 431-451, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 11(3), pp. 215-271, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
real-time negotiation, argumentative negotiation protocol, multi-agent system, temporal logic, case-based reasoning |
Displaying result #1 - #42 of 42 (100 per page; Change: )
|