Search results for "DALI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Christopher M. Sadler, Margaret Martonosi	Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks.	MobiSys	2007	DBLP DOI BibTeX RDF	data search and storage, energy efficient communications, mobile ad hoc sensor networks
78	Stefania Costantini, Arianna Tocchio	The DALI Logic Programming Agent-Oriented Language.	JELIA	2004	DBLP DOI BibTeX RDF
78	Stefania Costantini, Arianna Tocchio	Planning Experiments in the DALI Logic Programming Language.	CLIMA	2004	DBLP DOI BibTeX RDF
60	Francesco Buccafurri, Gianluca Caminiti, Gianluca Lax	Fortifying the dalì attack on digital signature.	SIN	2009	DBLP DOI BibTeX RDF	E-signature, digital signature, vulnerability analysis
60	Stefania Costantini, Arianna Tocchio	Context-Based Commonsense Reasoning in the DALI Logic Programming Language.	CONTEXT	2003	DBLP DOI BibTeX RDF
54	Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza	DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios.	IEEE Intell. Syst.	2008	DBLP DOI BibTeX RDF	DALI, cultural assets, intelligent logical agents, pervasive computing, multiagent systems, ambient intelligence, collaborative computing
47	Nina Gierasimczuk, Fernando R. Velázquez-Quesada (eds.)	Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers	DaLí	2024	DBLP DOI BibTeX RDF
47	Yuan Xue 0002, Chen Chen 0042, Chao Chen 0012, Lianrui Zuo, Yihao Liu 0003 (eds.)	Data Augmentation, Labelling, and Imperfections - Third MICCAI Workshop, DALI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings	DALI@MICCAI	2024	DBLP DOI BibTeX RDF
47	Carlos Areces, Diana Costa 0001 (eds.)	Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers	DaLí	2023	DBLP DOI BibTeX RDF
47	Qian Chen, Dazhu Li	Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.	DaLí	2023	DBLP DOI BibTeX RDF
47	Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata 0001	Automated Quantum Program Verification in Dynamic Quantum Logic.	DaLí	2023	DBLP DOI BibTeX RDF
47	Laura Bussi, Vincenzo Ciancia, Fabio Gadducci	A Spatial Logic with Time and Quantifiers.	DaLí	2023	DBLP DOI BibTeX RDF
47	Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk	Learning by Intervention in Simple Causal Domains.	DaLí	2023	DBLP DOI BibTeX RDF
47	Jakob Dirk Top, Catholijn M. Jonker, Rineke Verbrugge, Harmen de Weerd	Predictive Theory of Mind Models Based on Public Announcement Logic.	DaLí	2023	DBLP DOI BibTeX RDF
47	Kaibo Xie, Qingyu He, Fenrong Liu	A Logical Approach to Doxastic Causal Reasoning.	DaLí	2023	DBLP DOI BibTeX RDF
47	Igor Sedlár	Kleene Algebra of Weighted Programs with Domain.	DaLí	2023	DBLP DOI BibTeX RDF
47	Penghao Du, Qian Chen	Axiomatization of Hybrid Logic of Link Variations.	DaLí	2023	DBLP DOI BibTeX RDF
47	Benjamin El-Zein, Dominik Eckert, Thomas Weber 0001, Maximilian Rohleder, Ludwig Ritschl, Steffen Kappler, Andreas K. Maier	A Realistic Collimated X-Ray Image Simulation Pipeline.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Mikhail Papkov, Kaupo Palo, Leopold Parts	Self-supervised Single-Image Deconvolution with Siamese Neural Networks.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Emmanuel Oladokun, Musa Abdulkareem, Jurica Sprem, Vicente Grau	Transesophageal Echocardiography Generation Using Anatomical Models.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Antanas Kascenas, Chaoyang Wang, Patrick Schrempf, Ryan Grech, Hui Lu Goh, Mark Hall, Alison Q. O'Neil	Clinically Focussed Evaluation of Anomaly Detection and Localisation Methods Using Inpatient CT Head Data.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Hari Sreedhar, Guillaume P. R. Lajoinie, Charles Raffaelli, Hervé Delingette	Active Learning Strategies on a Real-World Thyroid Ultrasound Dataset.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Fengming Lin, Yan Xia 0002, Nishant Ravikumar, Qiongyao Liu, Michael MacRaild, Alejandro F. Frangi	Adaptive Semi-supervised Segmentation of Brain Vessels with Ambiguous Labels.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Xianchao Guan, Yifeng Wang, Yiyang Lin, Yongbing Zhang	Data Augmentation Based on DiscrimDiff for Histopathology Image Classification.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Berke Doga Basaran, Weitong Zhang, Mengyun Qiao, Bernhard Kainz, Paul M. Matthews, Wenjia Bai	LesionMix: A Lesion-Level Data Augmentation Method for Medical Image Segmentation.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Xianze Ai, Zehui Liao, Yong Xia 0001	URL: Combating Label Noise for Lung Nodule Malignancy Grading.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Jorge Badilla-Solórzano, Nils-Claudius Gellrich, Thomas Seel, Sontje Ihler	Modular, Label-Efficient Dataset Generation for Instrument Detection for Robotic Scrub Nurses.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Tom van Sonsbeek, Xiantong Zhen, Marcel Worring	Knowledge Graph Embeddings for Multi-lingual Structured Representations of Radiology Reports.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Shijie Li, Mengwei Ren, Thomas Ach, Guido Gerig	Microscopy Image Segmentation via Point and Shape Regularized Data Synthesis.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Navid Rabbani, Adrien Bartoli	A Unified Approach to Learning with Label Noise and Unsupervised Confidence Approximation.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Minh Nguyen 0002, Gia H. Ngo, Mert R. Sabuncu	Zero-Shot Learning of Individualized Task Contrast Prediction from Resting-State Functional Connectomes.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Takumi Okuo, Kazuya Nishimura, Hiroaki Ito, Kazuhiro Terada, Akihiko Yoshizawa, Ryoma Bise	Proportion Estimation by Masked Learning from Label Proportion.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Shaoju Wu, Sila Kurugol, Andy Tsai	Masked Conditional Diffusion Models for Image Analysis with Application to Radiographic Diagnosis of Infant Abuse.	DALI@MICCAI	2023	DBLP DOI BibTeX RDF
47	Hien Van Nguyen, Sharon Xiaolei Huang, Yuan Xue 0002 (eds.)	Data Augmentation, Labelling, and Imperfections - Second MICCAI Workshop, DALI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Vitaliy Dolgorukov, Maksim Gladyshev	Dynamic Epistemic Logic for Budget-Constrained Agents.	DaLí	2022	DBLP DOI BibTeX RDF
47	Philippe Balbiani	Parametrized Modal Logic II: The Unidimensional Case.	DaLí	2022	DBLP DOI BibTeX RDF
47	Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada	First Steps in Updating Knowing How.	DaLí	2022	DBLP DOI BibTeX RDF
47	Aldo Iván Ramírez Abarca, Jan M. Broersen	A Stit Logic of Intentionality.	DaLí	2022	DBLP DOI BibTeX RDF
47	Tomoaki Kawano	Quantum Logic for Observation of Physical Quantities.	DaLí	2022	DBLP DOI BibTeX RDF
47	Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins 0001	Relating Kleene Algebras with Pseudo Uninorms.	DaLí	2022	DBLP DOI BibTeX RDF
47	Rustam Galimullin, Thomas Ågotnes	Action Models for Coalition Logic.	DaLí	2022	DBLP DOI BibTeX RDF
47	John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes	Cautious Distributed Belief.	DaLí	2022	DBLP DOI BibTeX RDF
47	Lianrui Zuo, Yihao Liu 0003, Yuan Xue 0002, Shuo Han 0001, Murat Bilgel, Susan M. Resnick, Jerry L. Prince, Aaron Carass	Disentangling a Single MR Modality.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Weiwei Cui, Yaqi Wang, Yilong Li, Dan Song, Xingyong Zuo, Jiaojiao Wang, Yifan Zhang, Huiyu Zhou 0001, Bungsan Chong, Liaoyuan Zeng, Qianni Zhang	CTooth+: A Large-Scale Dental Cone Beam Computed Tomography Dataset and Benchmark for Tooth Volume Segmentation.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Filip Rusak, Rodrigo Santa Cruz, Elliot Smith 0003, Jurgen Fripp, Clinton Fookes, Pierrick Bourgeat, Andrew P. Bradley	Lesser of Two Evils Improves Learning in the Context of Cortical Thickness Estimation Models - Choose Wisely.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Yasmina Al Khalil, Aymen Ayaz, Cristian Lorenz, Jürgen Weese, Josien P. W. Pluim, Marcel Breeuwer	A Stratified Cascaded Approach for Brain Tumor Segmentation with the Aid of Multi-modal Synthetic Data.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Andres Diaz-Pinto, Pritesh Mehta, Sachidanand Alle, Muhammad Asad 0001, Richard Brown 0004, Vishwesh Nath, Alvin Ihsani, Michela Antonelli, Daniel Palkovics, Csaba Pinter, Ron Alkalay, Steve Pieper 0001, Holger R. Roth, Daguang Xu, Prerna Dogra, Tom Vercauteren, Andrew Feng, Abood Quraini, Sébastien Ourselin, M. Jorge Cardoso	DeepEdit: Deep Editable Learning for Interactive Segmentation of 3D Medical Images.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Saeko Sasuga, Akira Kudo, Yoshiro Kitamura, Satoshi Iizuka, Edgar Simo-Serra, Atsushi Hamabe, Masayuki Ishii, Ichiro Takemasa	Image Synthesis-Based Late Stage Cancer Augmentation and Semi-supervised Segmentation for MRI Rectal Cancer Staging.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Gregory Holste, Song Wang, Ziyu Jiang, Thomas C. Shen, George Shih, Ronald M. Summers, Yifan Peng, Zhangyang Wang	Long-Tailed Classification of Thorax Diseases on Chest X-Ray: A New Benchmark Study.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Xin Tang, Jiadong Zhang, Yongsheng Pan, Yuyao Zhang, Feng Shi 0001	CSGAN: Synthesis-Aided Brain MRI Segmentation on 6-Month Infants.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Hansang Lee, Haeil Lee, Helen Hong, Junmo Kim 0002	Noisy Label Classification Using Label Noise Selection with Test-Time Augmentation Cross-Entropy and NoiseMix Learning.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Mélanie Gaillochet, Christian Desrosiers, Hervé Lombaert	TAAL: Test-Time Augmentation for Active Learning in Medical Image Segmentation.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Chun-Yin Huang, Qi Lei, Xiaoxiao Li	Efficient Medical Image Assessment via Self-supervised Learning.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Dana Moukheiber, Saurabh Mahindre, Lama Moukheiber, Mira Moukheiber, Song Wang, Chunwei Ma, George Shih, Yifan Peng, Mingchen Gao	Few-Shot Learning Geometric Ensemble for Multi-label Classification of Chest X-Rays.	DALI@MICCAI	2022	DBLP DOI BibTeX RDF
47	Sandy Engelhardt, Ilkay Öksüz, Dajiang Zhu, Yixuan Yuan, Anirban Mukhopadhyay 0003, Nicholas Heller, Sharon Xiaolei Huang, Hien Van Nguyen, Raphael Sznitman, Yuan Xue 0002 (eds.)	Deep Generative Models, and Data Augmentation, Labelling, and Imperfections - First Workshop, DGM4MICCAI 2021, and First Workshop, DALI 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, Proceedings	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Jianfei Liu, Nancy Aguilera, Tao Liu, Johnny Tam	Automated Iterative Label Transfer Improves Segmentation of Noisy Cells in Adaptive Optics Retinal Images.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Alex Ling Yu Hung, John M. Galeotti	Ultrasound Variational Style Transfer to Generate Images Beyond the Observed Domain.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Zheng Yuan, Andre Esteva, Ran Xu	MetaHistoSeg: A Python Framework for Meta Learning in Histopathology Image Segmentation.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Zenglin Shi, Pascal Mettes, Guoyan Zheng, Cees Snoek	Frequency-Supervised MR-to-CT Image Synthesis.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Ruining Deng, Quan Liu, Shunxing Bao, Aadarsh Jha, Catie Chang, Bryan A. Millis, Matthew J. Tyska, Yuankai Huo	CaCL: Class-Aware Codebook Learning for Weakly Supervised Segmentation on Diffuse Image Patterns.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Ekaterina Redekop, Alexey Chernyavskiy	Medical Image Segmentation with Imperfect 3D Bounding Boxes.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Quok Zong Chong, William J. Knottenbelt, Kanwal K. Bhatia	Evaluation of Active Learning Techniques on Medical Image Classification with Unbalanced Data Distributions.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Chao Li 0031, Yiran Wei 0002, Xi Chen 0042, Carola-Bibiane Schönlieb	BrainNetGAN: Data Augmentation of Brain Connectivity Using Generative Adversarial Network for Dementia Classification.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Ahmad Pesaranghader, Yiping Wang 0004, Mohammad Havaei	CT-SGAN: Computed Tomography Synthesis GAN.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Huifeng Yao, Ziyu Guo, Yatao Zhang, Xiaomeng Li 0001	Improved Heatmap-Based Landmark Detection.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Pauliina Paavilainen, Saad Ullah Akram, Juho Kannala	Bridging the Gap Between Paired and Unpaired Medical Image Translation.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Xutao Guo, Yanwu Yang, Ting Ma 0001	FS-Net: A New Paradigm of Data Expansion for Medical Image Segmentation.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Turkay Kart, Wenjia Bai, Ben Glocker, Daniel Rueckert	DeepMCAT: Large-Scale Deep Clustering for Medical Image Categorization.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Mohammad Havaei, Ximeng Mao, Yiping Wang 0004, Qicheng Lao	Conditional Generation of Medical Images via Disentangled Adversarial Inference.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Zihao Wang 0002, Clair Vandersteen, Charles Raffaelli, Nicolas Guevara, François Patou, Hervé Delingette	One-Shot Learning for Landmarks Detection.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Alex Ling Yu Hung, Zhiqing Sun, Wanwen Chen, John M. Galeotti	Hierarchical Probabilistic Ultrasound Image Inpainting via Variational Inference.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Xiao-Yun Zhou, Bolin Lai, Weijian Li, Yirui Wang 0002, Kang Zheng, Fakai Wang, Chihung Lin, Le Lu 0001, Lingyun Huang, Mei Han, Guotong Xie, Jing Xiao 0006, Chang-Fu Kuo, Adam P. Harrison, Shun Miao	Scalable Semi-supervised Landmark Localization for X-ray Images Using Few-Shot Deep Adaptive Graph.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Jiacheng Wang 0002, Haojie Wang, Ruochen Mu, Liansheng Wang	Cross-Domain Landmarks Detection in Mitral Regurgitation.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Eugene Vorontsov, Samuel Kadoury	Label Noise in Segmentation Networks: Mitigation Must Deal with Bias.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Talgat Saparov, Anvar Kurmukov, Boris Shirokikh, Mikhail Belyaev	Zero-Shot Domain Adaptation in CT Segmentation by Filtered Back Projection Augmentation.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Wenjing Jiang, Tong Xia, Zhiqiong Wang, Fucang Jia	Semi-supervised Surgical Tool Detection Based on Highly Confident Pseudo Labeling and Strong Augmentation Driven Consistency.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Tianyuan Yao, Chang Qu, Quan Liu, Ruining Deng, Yuanhan Tian, Jiachen Xu, Aadarsh Jha, Shunxing Bao, Mengyang Zhao, Agnes B. Fogo, Bennett A. Landman, Catie Chang, Haichun Yang, Yuankai Huo	Compound Figure Separation of Biomedical Images with Side Loss.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Youssef Assis, Liang Liao, Fabien Pierre, René Anxionnat, Erwan Kerrien	An Efficient Data Strategy for the Detection of Brain Aneurysms from MRA with Deep Learning.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Clément Chadebec, Stéphanie Allassonnière	Data Augmentation with Variational Autoencoders and Manifold Sampling.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	William Michael Laprade, Mathias Perslev, Jon Sporring	How Few Annotations are Needed for Segmentation Using a Multi-planar U-Net?	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Sungmin Hong, Razvan V. Marinescu, Adrian V. Dalca, Anna K. Bonkhoff, Martin Bretzner, Natalia S. Rost, Polina Golland	3D-StyleGAN: A Style-Based Generative Adversarial Network for Generative Modeling of Three-Dimensional Medical Images.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Lorenzo Tronchin, Rosa Sicilia, Ermanno Cordelli, Sara Ramella, Paolo Soda	Evaluating GANs in Medical Imaging.	DGM4MICCAI/DALI@MICCAI	2021	DBLP DOI BibTeX RDF
47	Luís Soares Barbosa, Alexandru Baltag (eds.)	Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings	DaLí	2020	DBLP DOI BibTeX RDF
47	Manuel A. Martins 0001, Igor Sedlár (eds.)	Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers	DaLí	2020	DBLP DOI BibTeX RDF
47	Ryo Hatano, Katsuhiko Sano	Constructive Dynamic Logic of Relation Changers.	DaLí	2020	DBLP DOI BibTeX RDF
47	Zuojun Xiong, Thomas Ågotnes	Arbitrary Propositional Network Announcement Logic.	DaLí	2020	DBLP DOI BibTeX RDF
47	Stepan L. Kuznetsov	Complexity of Commutative Infinitary Action Logic.	DaLí	2020	DBLP DOI BibTeX RDF
47	Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari	Belief Based on Inconsistent Information.	DaLí	2020	DBLP DOI BibTeX RDF
47	Hans van Ditmarsch, Mo Liu 0002, Louwe B. Kuijer, Igor Sedlár	Expressivity of Some Versions of APAL.	DaLí	2020	DBLP DOI BibTeX RDF
47	Line van den Berg, Malvin Gattinger	Dealing with Unreliable Agents in Dynamic Gossip.	DaLí	2020	DBLP DOI BibTeX RDF
47	Sebastian Reiche, Christoph Benzmüller	Public Announcement Logic in HOL.	DaLí	2020	DBLP DOI BibTeX RDF
47	Yì N. Wáng, Thomas Ågotnes	Simpler Completeness Proofs for Modal Logics with Intersection.	DaLí	2020	DBLP DOI BibTeX RDF
47	Gaia Belardinelli, Rasmus K. Rendsvig	Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model.	DaLí	2020	DBLP DOI BibTeX RDF
47	Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie	Thinking About Causation: A Causal Language with Epistemic Operators.	DaLí	2020	DBLP DOI BibTeX RDF
47	Guillaume Aucher	Expedition in the Update Universe.	DaLí	2020	DBLP DOI BibTeX RDF
47	Anthia Solaki	Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge.	DaLí	2020	DBLP DOI BibTeX RDF
47	Emiliano Lorini, Pengfei Song	Grounding Awareness on Belief Bases.	DaLí	2020	DBLP DOI BibTeX RDF
47	Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro	Default Modal Systems as Algebraic Updates.	DaLí	2020	DBLP DOI BibTeX RDF
47	Thomas Bolander, Arnaud Lequen	Parameterized Complexity of Dynamic Belief Updates.	DaLí	2020	DBLP DOI BibTeX RDF
47	Vít Puncochár	Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.	DaLí	2020	DBLP DOI BibTeX RDF